Advertisement

Object-Oriented Security Proofs

  • Ernie Cohen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10951)

Abstract

We use standard program transformations to construct formal security proofs.

Notes

Acknowledgements

We thank Supriya Anand, James Bornholdt, Matt Campagna, Byron Cook, Andres Erbsen, Ralf Küsters, Rustan Leino, Andrea Nedic, Jade Philipoom, and Serdar Tasiran for their contributions.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Amazon Web ServicesWyncoteUSA

Personalised recommendations