DMCA

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

by Ralf Küsters , Enrico Scapin , Tomasz Truderung , Jürgen Graf
Citations:1 - 0 self