
@InProceedings{	  brucker.ea:integrating:2009,
  author	= {Achim D. Brucker and Sebastian M{\"{o}}dersheim},
  editor	= {Pierpaolo Degano and Joshua D. Guttman},
  title		= {{Integrating Automated and Interactive Protocol Verification}},
  booktitle	= {Formal Aspects in Security and Trust, 6th International Workshop, {FAST} 2009, Eindhoven, The
		  Netherlands, November 5-6, 2009, Revised Selected Papers},
  series	= {Lecture Notes in Computer Science},
  volume	= 5983,
  pages		= {248--262},
  publisher	= {Springer},
  year		= 2009,
  doi		= {10.1007/978-3-642-12459-4_18}
}

@InProceedings{	  hess.ea:formalizing:2017,
  author	= {Andreas V. Hess and Sebastian M{\"{o}}dersheim},
  title		= {{Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL}},
  booktitle	= {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa Barbara, CA, USA, August
		  21-25, 2017},
  pages		= {451--463},
  publisher	= {{IEEE} Computer Society},
  year		= 2017,
  doi		= {10.1109/CSF.2017.27}
}

@InProceedings{	  hess.ea:typing:2018,
  author	= {Andreas V. Hess and Sebastian M{\"{o}}dersheim},
  title		= {{A Typing Result for Stateful Protocols}},
  booktitle	= {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12,
		  2018},
  pages		= {374--388},
  publisher	= {{IEEE} Computer Society},
  year		= 2018,
  doi		= {10.1109/CSF.2018.00034}
}

@InProceedings{	  hess.ea:stateful:2018,
  author	= {Andreas V. Hess and Sebastian M{\"{o}}dersheim and Achim D. Brucker},
  editor	= {Javier L{\'{o}}pez and Jianying Zhou and Miguel Soriano},
  title		= {{Stateful Protocol Composition}},
  booktitle	= {Computer Security - 23rd European Symposium on Research in Computer Security, {ESORICS} 2018,
		  Barcelona, Spain, September 3-7, 2018, Proceedings, Part {I}},
  series	= {Lecture Notes in Computer Science},
  volume	= 11098,
  pages		= {427--446},
  publisher	= {Springer},
  year		= 2018,
  doi		= {10.1007/978-3-319-99073-6_21}
}

@PhDThesis{	  hess:typing:2018,
  author	= {Andreas Viktor Hess},
  title		= {Typing and Compositionality for Stateful Security Protocols},
  year		= 2019,
  url		= {https://orbit.dtu.dk/en/publications/typing-and-compositionality-for-stateful-security-protocols},
  language	= {English},
  series	= {TU Compute PHD-2018},
  publisher	= {DTU Compute}
}

@Article{	  hess.ea:stateful:2020,
  author	= {Andreas V. Hess and Sebastian~M{\"o}dersheim and Achim~D.~Brucker},
  title		= {{Stateful Protocol Composition and Typing}},
  journal	= {Archive of Formal Proofs},
  month		= apr,
  year		= 2020,
  note		= {\url{http://isa-afp.org/entries/Stateful_Protocol_Composition_and_Typing.html}, Formal proof
		  development},
  issn		= {2150-914x}
}

@Book{		  nipkow2002isabelle,
  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title		= {Isabelle/HOL - {A} Proof Assistant for Higher-Order Logic},
  series	= {Lecture Notes in Computer Science},
  volume	= 2283,
  publisher	= {Springer},
  year		= 2002,
  doi		= {10.1007/3-540-45949-9},
  isbn		= {3-540-43376-7},
  timestamp	= {Mon, 27 Jun 2011 15:25:29 +0200},
  biburl	= {http://dblp.uni-trier.de/rec/bib/books/sp/NipkowPW02},
  bibsource	= {dblp computer science bibliography, http://dblp.org}
}

@Misc{		  isabelle:codegen:2021,
  title		= {Code generation from {Isabelle/HOL} theories},
  author	= {Haftmann, Florian and Bulwahn, Lukas},
  journal	= {Part of the Isabelle documentation},
  url		= {http://isabelle.in.tum.de/doc/codegen.pdf},
  year		= 2021
}

@Misc{		  isabelle:isar:2021,
  title		= {The {Isabelle/Isar} Reference Manual},
  author	= {Makarius Wenzel},
  journal	= {Part of the Isabelle documentation},
  url		= {http://isabelle.in.tum.de/doc/isar-ref.pdf},
  year		= 2021
}

@InProceedings{	  typingisabelle,
  author	= {Andreas Viktor Hess and Sebastian M{\"{o}}dersheim},
  title		= {Formalizing and Proving a Typing Result for Security Protocols in {Isabelle/HOL}},
  booktitle	= {Computer Security Foundations Symposium},
  pages		= {451--463},
  year		= 2017
}
