Biblio

Export 3 results:
Filters: Author is Anupam Datta  [Clear All Filters]
2016
Vasudevan A, Chaki S, Maniatis P, Jia L, Datta A.  2016.  überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. 25th USENIX Security Symposium (USENIX Security 16). :87--104.
2011
Blocki J, Christin N, Datta A, Sinha A.  2011.  Audit Mechanisms for Privacy Protection in Healthcare Environments. 2nd USENIX Workshop on Health Security and Privacy (HealthSec 11).
2010
Datta A, Dave N, Mitchell J, Nissenbaum H, Sharma D.  2010.  Privacy Challenges in Patient-centric Health Information Systems. 1st USENIX Workshop on Health Security and Privacy (HealthSec 10).