@Article{Kaiser:WASET-12-155,
  author =       "Markus Kaiser and Johannes Buchmann",
  title =        "Computer Verification in Cryptography",
  journal =      "Proceedings of the World Academy of Science,
                 Engineering and Technology",
  ISSN =         "1307-6884",
  volume =       "12",
  year =         "2006",
  month =        mar,
  pages =        "155--160",
  URL =          "http://www.waset.org/pwaset/v12/v12-29.pdf",
}