Zeta: Towards Zero-Trust Applications - Microsoft Research: Publications

Zeta: Towards Zero-Trust Applications

Publications

View by:

- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication

- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF

- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication