Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.

Michael Backes, Christian Jacobi, Birgit Pfitzmann

Browse the full FM paper archive.