USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Zachary Tatlock [Clear All Filters]
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
.
2014. Establishing Browser Security Guarantees through Formal Shim Verification. 21st USENIX Security Symposium (USENIX Security 12). :113--128.
.
2012.