A Modeling and Verification Framework for Security Protocols

Abstract

Bad design decisions in security protocols can drastically affect the robustness of the protection given by protocols, causing the introduction of vulnerabilities and leak of information. My PhD project aims to reduce the possibility of introducing flaws supporting designers and engineers with a user-friendly formal verification framework, with various options for both model construction and verification.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Lilli21,
  author       = {Mario Lilli},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {A Modeling and Verification Framework for Security Protocols},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {158--161},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_16},
  doi          = {10.1007/978-3-030-77543-8\_16},
  timestamp    = {Tue, 15 Jun 2021 17:24:03 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Lilli21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}