@mastersthesis{unruh02formal,
  author       = {Unruh, Dominique},
  title        = {Formal Security in Quantum Cryptology},
  school       = {Institut f\"{u}r Algorithmen und Kognitive Systeme, University of Karlsruhe},
  month        = {December},
  year         = {2002}
}