Here, you find all of the publications of the REPROSEC project.

  • [1] Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “A Tutorial-Style Introduction to DY*,” in Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday., vol. 13066, Springer, 2021, pp. 77–97. Details
  • [2] Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “An In-Depth Symbolic Security Analysis of the ACME Standard,” CCS ’21: ACM Conference on Computer and Communications Security, November 14–19, 2021, Seoul, South Korea, 2021. Details
  • [3] Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, and Tim Würtele, “DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code,” 2021 IEEE European Symposium on Security and Privacy (EuroS&P), pp. 523–542, 2021. Details
  • [4] Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, and Tim Würtele, “Layered Symbolic Security Analysis in DY*,” 28th European Symposium on Research in Computer Security (ESORICS 2023), vol. 14346, pp. 3–21, 2023. Details