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

Zeta: Towards Zero-Trust Applications

出版物

表示方法:

- 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
  
  Publication Author's Version
- 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
  
  Publication Author's Version
- 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
  
  Publication Author's Version
- 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
  
  Publication Author's Version

- 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
  
  Publication Author's Version
- 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