@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}
}