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.