@InProceedings{bjp02_bisim,
author = {Michael Backes and Christian Jacobi and Birgit Pfitzmann},
title = {Deriving Cryptographically Sound Implementations Using
Composition and Formally Verified Bisimulation},
booktitle = {Formal Methods -- Getting {IT} Right, International Symposium of Formal Methods Europe (FME 2002)},
pages = {310--329},
year = {2002},
volume = {2391},
series = {LNCS},
publisher = {Springer}
}