Zachary Tatlock [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure OSDI-2014 - broomfield,usa
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks NDSS-2014 - San Diego,USA
Establishing Browser Security Guarantees through Formal Shim Verification USENIX-2012 - Washington, D.C.