@inproceedings {273725,
	author = {Nico Lehmann and Rose Kunkel and Jordan Brown and Jean Yang and Niki Vazou and Nadia Polikarpova and Deian Stefan and Ranjit Jhala},
	title = {{STORM}: Refinement Types for Secure Web Applications},
	booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {441--459},
	url = {https://www.usenix.org/conference/osdi21/presentation/lehmann},
	publisher = {{USENIX} Association},
	month = jul
}
@inproceedings {236334,
	author = {Klaus v. Gleissenthall and Rami G{\"o}khan K{\i}c{\i} and Deian Stefan and Ranjit Jhala},
	title = {{IODINE}: Verifying {Constant-Time} Execution of Hardware},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {1411--1428},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/von-gleissenthall},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {179447,
	author = {Panagiotis Vekris and Ranjit Jhala and Sorin Lerner and Yuvraj Agarwal},
	title = {Towards Verifying Android Apps for the Absence of {No-Sleep} Energy Bugs},
	booktitle = {2012 Workshop on Power-Aware Computing and Systems (HotPower 12)},
	year = {2012},
	address = {Hollywood, CA},
	url = {https://www.usenix.org/conference/hotpower12/workshop-program/presentation/Vekris},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {202594,
	author = {Charles Killian and James W. Anderson and Ranjit Jhala and Amin Vahdat},
	title = {Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code },
	booktitle = {4th USENIX Symposium on Networked Systems Design \& Implementation (NSDI 07)},
	year = {2007},
	address = {Cambridge, MA},
	url = {https://www.usenix.org/conference/nsdi-07/life-death-and-critical-transition-finding-liveness-bugs-systems-code},
	publisher = {USENIX Association},
	month = apr
}
