Juergen Graf

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Information Flow

Theoretical Framework

Top Venues

IACR Cryptol. ePrint Arch.

Microelectron. Reliab.

Publications

Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
Sicherheitsanalyse mit JOANA. Sicherheit (2016)
Radoslav Rusanov, Holger Rank, Juergen Graf, Tino Fuchs, Roland Mueller-Fiedler, Oliver Kraft
insulation layers and membranes. Microelectron. Reliab. 55 (9-10) (2015)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. POST (2014)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-Like Programs. CSF (2012)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptol. ePrint Arch. 2012 (2012)