S

security protocols

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

GitLab page collecting documentation and models of multi-factor authentication (MFA) implementations