Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Source : Starus, CC BY-SA 4.0 Cryptography The security of electronic voting: vulnerabilities and solutions 26/07/2023
© Photo by Pietro Jeng on Unsplash Networks Network security: algorithms in the control tower 07/04/2021