Advertisement

Object-Oriented Security Proofs

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

Abstract

We use standard program transformations to construct formal security proofs.

Keywords

Standard Program Transformations Encrypted Key Security Policy Checking Timing Side Channel Single Object Reference 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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