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

@article{
  R2,
  author={Gaurav Kc and Paul Karger},
  title={Preventing Attacks on Machine Readable Travel Documents (MRTDs)},
  journal={IACR Cryptology ePrint Archive},
  year=2005
}

@manual{
  R3,
  title={Doc 9303 -- Machine Readable Travel Documents -- Part 10: Logical Data Structure (LDS) for Storage of Biometrics and Other Data in the Contactless Integrated Circuit (IC)},
  edition={7th},
  organization={International Civil Aviation Organization},
  year=2015
}

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

@manual{
  R5,
  title={ISO/IEC 7816-4 -- Identification cards -- Integrated circuit cards -- Part 4: Organization, security and commands for interchange},
  edition={3rd},
  organization={International Organization for Standardization},
  year=2013
}

@manual{
  R6,
  title={Technical Guideline TR-03111 -- Elliptic Curve Cryptography},
  edition={2nd},
  organization={Bundesamt fur Sicherheit in der Informationstechnik},
  year=2012
}

@manual{
  R7,
  author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
  title={Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
  month=feb,
  year=2016,
  note={\url{http://isabelle.in.tum.de/website-Isabelle2016/dist/Isabelle2016/doc/tutorial.pdf}}
}

@manual{
  R8,
  author={Tobias Nipkow},
  title={Programming and Proving in Isabelle/HOL},
  month=feb,
  year=2016,
  note={\url{http://isabelle.in.tum.de/website-Isabelle2016/dist/Isabelle2016/doc/prog-prove.pdf}}
}

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

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