USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 10 results:
Filters: Author is Deian Stefan [Clear All Filters]
STORM: Refinement Types for Secure Web Applications. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :441--459.
.
2021. Swivel: Hardening WebAssembly against Spectre. 30th USENIX Security Symposium (USENIX Security 21). :1433--1450.
.
2021. Retrofitting Fine Grain Isolation in the Firefox Renderer. 29th USENIX Security Symposium (USENIX Security 20). :699--716.
.
2020. Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. 29th USENIX Security Symposium (USENIX Security 20). :199--216.
.
2020. IODINE: Verifying Constant-Time Execution of Hardware. 28th USENIX Security Symposium (USENIX Security 19). :1411--1428.
.
2019. Browser history re:visited. 12th USENIX Workshop on Offensive Technologies (WOOT 18).
.
2018. The Most Dangerous Code in the Browser. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Protecting Users by Confining JavaScript with COWL. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :131--146.
.
2014. Toward Principled Browser Security. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
.
2013. Hails: Protecting Data Privacy in Untrusted Web Applications. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :47--60.
.
2012.