Projects with this topic
Sort by:
-
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
Updated