Ralf Küsters (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

92 Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-Like Programs. CSF 2012: 198-212

89 Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptology ePrint Archive 2012: 153 (2012)

Selection of 2 from 92 records - Ralf Küsters has 35 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

92		Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-Like Programs. CSF 2012: 198-212
89		Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptology ePrint Archive 2012: 153 (2012)