Biblio

Export 2 results:
Filters: Author is Zachary Tatlock  [Clear All Filters]
2014
Wang X, Lazar D, Zeldovich N, Chlipala A, Tatlock Z.  2014.  Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
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.