Security and Privacy Group
> Zum Inhalt
2017-11-16 [ ]

Paper accepted at CPP'18

Our work "A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations" has been accepted at the 7th ACM SIGPLAN International Conference on Certified Programs and ProofsACM SIGPLAN International Conference on Certified Programs and Proofs.

This is a joint work with Niklas Grimm (TU Wien), Kenji Maillard (Inria Paris, ENS Paris), Cédric Fournet (Microsoft Research), Cătălin Hriţcu (Inria Paris), Matteo Maffei (TU Wien), Jonathan Protzenko (Microsoft Research), Tahina Ramananandro (Microsoft Research), Aseem Rastogi (Microsoft Research), Nikhil Swamy (Microsoft Research) and Santiago Zanella-Béguelin (Microsoft Research).