-
Code
Proverif Code for the CCS 2021 paper by Boureanu et al. here
EasyCrypt Code for the CSF 2021 paper by Boureanu et al. here
Python Scripts, Tamarin Code, and Other Artefacts for the S&P 2022 paper by Radu et al. here
Python Scripts, Tamarin and Other Artefacts ode ode for the USENIX 2025 paper by Pavlides et al. here
-
Projects' code
Here are some examples of our work
Download