@article {
  Paulson98,
  author = {Lawrence C. Paulson},
  title = {The Inductive Approach to Verifying Cryptographic Protocols},
  journal = {Journal of Computer Security},
  month = dec,
  year = 1998
}

@article {
  Noce17,
  author = {Pasquale Noce},
  title = {Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method},
  journal = {Archive of Formal Proofs},
  month = jan,
  year = 2017,
  note = {\url{http://isa-afp.org/entries/Password_Authentication_Protocol.html}, Formal proof development},
  ISSN = {2150-914x}
}

@manual {
  ICAO15,
  title = {Doc 9303 -- Machine Readable Travel Documents -- Part 11: Security Mechanisms for MRTDs},
  organization = {International Civil Aviation Organization (ICAO)},
  edition = {7th},
  year = 2015
}

@manual{
  Paulson20,
  author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title = {Isabelle/HOL -- A Proof Assistant for Higher-Order Logic},
  month = apr,
  year = 2020,
  note = {\url{https://isabelle.in.tum.de/website-Isabelle2020/dist/Isabelle2020/doc/tutorial.pdf}}
}

@manual{
  Nipkow20,
  author = {Tobias Nipkow},
  title = {Programming and Proving in Isabelle/HOL},
  month = apr,
  year = 2020,
  note = {\url{https://isabelle.in.tum.de/website-Isabelle2020/dist/Isabelle2020/doc/prog-prove.pdf}}
}

@manual{
  Krauss20,
  author = {Alexander Krauss},
  title = {Defining Recursive Functions in Isabelle/HOL},
  note = {\url{https://isabelle.in.tum.de/website-Isabelle2020/dist/Isabelle2020/doc/functions.pdf}}
}

@manual{
  Nipkow11,
  author = {Tobias Nipkow},
  title = {A Tutorial Introduction to Structured Isar Proofs},
  note = {\url{https://isabelle.in.tum.de/website-Isabelle2011/dist/Isabelle2011/doc/isar-overview.pdf}}
}
