@inproceedings {197173,
	author = {Amit Vasudevan and Sagar Chaki and Petros Maniatis and Limin Jia and Anupam Datta},
	title = {{{\"u}berSpark}: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {87--104},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266570,
	author = {Jeremiah Blocki and Nicolas Christin and Anupam Datta and Arunesh Sinha},
	title = {Audit Mechanisms for Privacy Protection in Healthcare Environments},
	booktitle = {2nd USENIX Workshop on Health Security and Privacy (HealthSec 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/healthsec11/audit-mechanisms-privacy-protection-healthcare-environments},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {267274,
	author = {Anupam Datta and Nipun Dave and John Mitchell and Helen Nissenbaum and Divya Sharma},
	title = {Privacy Challenges in Patient-centric Health Information Systems},
	booktitle = {1st USENIX Workshop on Health Security and Privacy (HealthSec 10)},
	year = {2010},
	address = {Washington, DC},
	url = {https://www.usenix.org/conference/healthsec10/privacy-challenges-patient-centric-health-information-systems},
	publisher = {USENIX Association},
	month = aug
}
