Formal Specification and Verification of User-centric Privacy Policies for Ubiquitous Systems Download pdf Tags: Applied Privacy 1657774 2019 SaTC PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Hoda Mehrpouyan on Thu, 10/10/2019 - 15:29