Symbolic proofs are becoming a powerful approach to prove the security of cryptographic protocols and discover vulnerabilities in them. The aim of this project is therefore to analyze some of the state-of-the-art techniques used by symbolic proofs.
More information can be found here.
Contact: Msc. Miguel Angel Robles LeonProf. Dr. Alex Wiesmaier