@inproceedings{backes02deriving,
  author       = {Backes, Michael and Jacobi, Christian and Pfitzmann, Birgit},
  title        = {Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation},
  booktitle    = {Proceedings of 11th International Symposium on Formal Methods Europe (FME)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2391},
  month        = {October},
  year         = {2002},
  publisher    = {Springer},
  pages        = {310-329}
}