Export 4 results:
Filters: Author is Sorin Lerner  [Clear All Filters]
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.
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).