@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 {203888, author = {Zhaomo Yang and Brian Johannesmeyer and Anders Trier Olesen and Sorin Lerner and Kirill Levchenko}, title = {Dead Store Elimination (Still) Considered Harmful}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {1025--1040}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/yang}, publisher = {USENIX Association}, month = aug } @inproceedings {180207, author = {Dongseok Jang and Zachary Tatlock and Sorin Lerner}, title = {Establishing Browser Security Guarantees through Formal Shim Verification}, booktitle = {21st USENIX Security Symposium (USENIX Security 12)}, year = {2012}, isbn = {978-931971-95-9}, address = {Bellevue, WA}, pages = {113--128}, url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/jang}, 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 }