About 3 results for "UClh0y0qKWIEDt1nSdDJL0Jg"

Martin Nyx Brain “A Pyramid Of (Formal) Software Verification, Part 1”, VeTSS Summer School 2024

VeTSS RI • Sep 21, 2024

I. Boureanu, “Formal Verification of Privacy in Cryptographic Protocols, 1”, VeTSS Summer School 24

VeTSS RI • Sep 20, 2024