A

AACS_MOD2

Project information

Second module for the Advanced Topics in Computer Science course held at the University of Padua. Course topic: verification of security protocol. The course required to (try to) prove with Proverif a simple security protocol

proverif security pro...

26 Commits
1 Branch
0 Tags

Created on

June 14, 2023

Loading