@article {
  Noce20,
  author = {Pasquale Noce},
  title = {{The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols}},
  journal = {Archive of Formal Proofs},
  month = dec,
  year = 2020,
  note = {\url{https://isa-afp.org/entries/Relational_Method.html}, Formal proof development},
  ISSN = {2150-914x}
}

@manual {
  BSI16-2,
  title = {{Technical Guideline TR-03110 -- Advanced Security Mechanisms for Machine Readable Travel Documents and eIDAS Token --
    Part 2: Protocols for electronic IDentification, Authentication and trust Services (eIDAS), version 2.21}},
  organization = {Bundesamt für Sicherheit in der Informationstechnik (BSI)},
  month = dec,
  year = 2016
}

@manual {
  BSI16-3,
  title = {{Technical Guideline TR-03110 -- Advanced Security Mechanisms for Machine Readable Travel Documents and eIDAS Token --
    Part 3: Common Specifications, version 2.21}},
  organization = {Bundesamt für Sicherheit in der Informationstechnik (BSI)},
  month = dec,
  year = 2016
}

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

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

@manual {
  Krauss21,
  author = {Alexander Krauss},
  title = {{Defining Recursive Functions in Isabelle/HOL}},
  note = {\url{https://isabelle.in.tum.de/website-Isabelle2021/dist/Isabelle2021/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}}
}
