Tatlock

Results: 15



#Item
1S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2018-10-18 11:22:47
2Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruci

Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruci

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2017-11-17 18:47:23
    3Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

    Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

    Add to Reading List

    Source URL: people.csail.mit.edu

    Language: English
      4Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock

      Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock

      Add to Reading List

      Source URL: goto.ucsd.edu

      - Date: 2012-07-16 15:42:58
        5Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

        Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

        Add to Reading List

        Source URL: homes.cs.washington.edu

        Language: English - Date: 2016-01-04 17:45:16
        6S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

        S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

        Add to Reading List

        Source URL: cseweb.ucsd.edu

        Language: English - Date: 2013-12-28 00:32:24
        7Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, and Adam Chlipala, MIT CSAIL; Zachary ­Tatlock, University of Washington https://www.usenix.org/conference/osdi14/techni

        Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, and Adam Chlipala, MIT CSAIL; Zachary ­Tatlock, University of Washington https://www.usenix.org/conference/osdi14/techni

        Add to Reading List

        Source URL: www.usenix.org

        Language: English - Date: 2016-02-20 13:36:33
          8Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

          Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

          Add to Reading List

          Source URL: verdi.uwplse.org

          Language: English - Date: 2016-03-16 22:46:45
          9Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock

          Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock

          Add to Reading List

          Source URL: goto.ucsd.edu

          - Date: 2012-07-16 15:42:58
            10Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

            Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

            Add to Reading List

            Source URL: pdos.csail.mit.edu

            Language: English - Date: 2015-01-09 21:48:48