Biblio

Export 10 results:
Filters: Author is Deian Stefan  [Clear All Filters]
2021
Lehmann N, Kunkel R, Brown J, Yang J, Vazou N, Polikarpova N, Stefan D, Jhala R.  2021.  STORM: Refinement Types for Secure Web Applications. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :441--459.
Narayan S, Disselkoen C, Moghimi D, Cauligi S, Johnson E, Gang Z, Vahldiek-Oberwagner A, Sahita R, Shacham H, Tullsen D et al..  2021.  Swivel: Hardening WebAssembly against Spectre. 30th USENIX Security Symposium (USENIX Security 21). :1433--1450.
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.
Brown F, Stefan D, Engler D.  2020.  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. 29th USENIX Security Symposium (USENIX Security 20). :199--216.
2019
Gleissenthall Kv., Kıcı RGökhan, Stefan D, Jhala R.  2019.  IODINE: Verifying Constant-Time Execution of Hardware. 28th USENIX Security Symposium (USENIX Security 19). :1411--1428.
2018
Smith M, Disselkoen C, Narayan S, Brown F, Stefan D.  2018.  Browser history re:visited. 12th USENIX Workshop on Offensive Technologies (WOOT 18).
2015
Heule S, Rifkin D, Russo A, Stefan D.  2015.  The Most Dangerous Code in the Browser. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Stefan D, Yang EZ, Marchenko P, Russo A, Herman D, Karp B, Mazières D.  2014.  Protecting Users by Confining JavaScript with COWL. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :131--146.
2013
Yang E, Stefan D, Mitchell J, Mazières D, Marchenko P, Karp B.  2013.  Toward Principled Browser Security. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
2012
Giffin DB, Levy A, Stefan D, Terei D, Mazières D, Mitchell JC, Russo A.  2012.  Hails: Protecting Data Privacy in Untrusted Web Applications. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :47--60.