Filter
Chapter

Search results

  • 2023

    Formal Modeling and Security Analysis of Security Protocols

    Modesti, P. & Garcia, R., 19 Sept 2023, Handbook of Formal Analysis and Verification in Cryptography . Akleylek, S. & Dundua, B. (eds.). 1st ed. CRC Press, p. 213-274 62 p. (Handbook of Formal Analysis and Verification in Cryptography).

    Research output: Chapter in Book/Report/Conference proceedingChapter