Biblio

Export 4 results:
Filters: Author is Sorin Lerner  [Clear All Filters]
2020
Narayan S, Disselkoen C, Garfinkel T, Froyd N, Rahm E, Lerner S, Shacham H, Stefan D.  2020.  Retrofitting Fine Grain Isolation in the Firefox Renderer. 29th USENIX Security Symposium (USENIX Security 20). :699--716.
2017
Yang Z, Johannesmeyer B, Olesen ATrier, Lerner S, Levchenko K.  2017.  Dead Store Elimination (Still) Considered Harmful. 26th USENIX Security Symposium (USENIX Security 17). :1025--1040.
2012
Jang D, Tatlock Z, Lerner S.  2012.  Establishing Browser Security Guarantees through Formal Shim Verification. 21st USENIX Security Symposium (USENIX Security 12). :113--128.
Vekris P, Jhala R, Lerner S, Agarwal Y.  2012.  Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. 2012 Workshop on Power-Aware Computing and Systems (HotPower 12).