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

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2018) A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018.

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/3167090
Item Type: Conference or Workshop Item (A Paper) (Paper)
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 14:23
Last Modified: 27 Feb 2018 10:32
URI: https://publications.cispa.saarland/id/eprint/2534

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.