International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Extending and Applying a Framework for the Cryptographic Verification of Java Programs

Authors:
Ralf Küsters
Enrico Scapin
Tomasz Truderung
Juergen Graf
Download:
URL: https://eprint.iacr.org/2014/038
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25682,
  title={Extending and Applying a Framework for the Cryptographic Verification of Java Programs},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={38},
  url={https://eprint.iacr.org/2014/038},
  author={Ralf Küsters and Enrico Scapin and Tomasz Truderung and Juergen Graf},
  year=2014
}