@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 {272260,
	author = {Shravan Narayan and Craig Disselkoen and Daniel Moghimi and Sunjay Cauligi and Evan Johnson and Zhao Gang and Anjo Vahldiek-Oberwagner and Ravi Sahita and Hovav Shacham and Dean Tullsen and Deian Stefan},
	title = {Swivel: Hardening {WebAssembly} against Spectre},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {1433--1450},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/narayan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {251572,
	author = {Shravan Narayan and Craig Disselkoen and Tal Garfinkel and Nathan Froyd and Eric Rahm and Sorin Lerner and Hovav Shacham and Deian Stefan},
	title = {Retrofitting Fine Grain Isolation in the Firefox Renderer},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {699--716},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/narayan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {255324,
	author = {Fraser Brown and Deian Stefan and Dawson Engler},
	title = {Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {199--216},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/brown},
	publisher = {USENIX Association},
	month = aug
}
@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 {220594,
	author = {Michael Smith and Craig Disselkoen and Shravan Narayan and Fraser Brown and Deian Stefan},
	title = {Browser history {re:visited}},
	booktitle = {12th USENIX Workshop on Offensive Technologies (WOOT 18)},
	year = {2018},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/woot18/presentation/smith},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {189926,
	author = {Stefan Heule and Devon Rifkin and Alejandro Russo and Deian Stefan},
	title = {The Most Dangerous Code in the Browser},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/heule},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {186157,
	author = {Deian Stefan and Edward Z. Yang and Petr Marchenko and Alejandro Russo and Dave Herman and Brad Karp and David Mazi{\`e}res},
	title = {Protecting Users by Confining {JavaScript} with {COWL}},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = {  978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {131--146},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/stefan},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {181959,
	author = {Edward Yang and Deian Stefan and John Mitchell and David Mazi{\`e}res and Petr Marchenko and Brad Karp},
	title = {Toward Principled Browser Security},
	booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)},
	year = {2013},
	address = {Santa Ana Pueblo, NM},
	url = {https://www.usenix.org/conference/hotos13/session/yang},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {180253,
	author = {Daniel B. Giffin and Amit Levy and Deian Stefan and David Terei and David Mazi{\`e}res and John C. Mitchell and Alejandro Russo},
	title = {Hails: Protecting Data Privacy in Untrusted Web Applications},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {47--60},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/giffin},
	publisher = {USENIX Association},
	month = oct
}
