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

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Niklas Grimm' in GoogleThis author has not been identified. Look up 'Kenji Maillard' in GoogleThis author has not been identified. Look up 'Cédric Fournet' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in GoogleThis author has not been identified. Look up 'Matteo Maffei' in GoogleThis author has not been identified. Look up 'Jonathan Protzenko' in GoogleThis author has not been identified. Look up 'Tahina Ramananandro' in GoogleThis author has not been identified. Look up 'Aseem Rastogi' in GoogleThis author has not been identified. Look up 'Nikhil Swamy' in GoogleThis author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

runs on WebDSL