A monadic framework for relational verification: applied to information security, program equivalence, and optimizations-Reference-Cited by-同舟云学术

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
language:
Short-container-title:

Author:

Grimm Niklas¹,Zanella-Béguelin Santiago²,Maillard Kenji³,Fournet Cédric²,Hriţcu Cătălin⁴,Maffei Matteo¹,Protzenko Jonathan⁵,Ramananandro Tahina⁵,Rastogi Aseem⁶,Swamy Nikhil⁵

Affiliation:

1. Vienna University of Technology, Austria

2. Microsoft Research, UK

3. Inria, France / ENS Paris, France

4. Inria, France

5. Microsoft Research, USA

6. Microsoft Research, India

Publisher

ACM Press

Reference81 articles.

1. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub. 2017. A Relational Logic for Higher-Order Programs.CoRRabs/1703.05042 (2017). http://arxiv.org/abs/1703.05042.

2. Alejandro Aguirre, Catalin Hritcu, Chantal Keller, and Nikhil Swamy. 2016. From F* to SMT (extended abstract). Talk at 1st International Workshop on Hammers for Type Theories (HaTT).

3. Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martinez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, and Nikhil Swamy. 2017. Dijkstra Monads for Free. In44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 515-529.

4. Amal Ahmed, Derek Dreyer, and Andreas Rossberg. 2009. State-dependent representation independence, See (Shao and Pierce 2009), 340-353.

5. Torben Amtoft and Anindya Banerjee. 2004. Information Flow Analysis in Logical Form. InStatic Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science), Roberto Giacobazzi (Ed.), Vol. 3148. Springer, 100-115.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020