CryptoDB
Extending and Applying a Framework for the Cryptographic Verification of Java Programs
Authors: | |
---|---|
Download: |
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 }