Formal Specification and Verification of User-centric Privacy Policies for Ubiquitous Systems

  • Applied Privacy
  • 1657774
  • 2019
  • SaTC PI Meeting 2019
  • Poster
  • U.S. Government
  • NSF
  • Posters
Submitted by Hoda Mehrpouyan on