Creating and sharing knowledge for telecommunications
CONCLUDED MSC THESIS

Automation of Secrecy Proofs for Security of Protocols

Miguel Abreu Malafaia Mendes Belo
Supervisors: Pedro Miguel dos Santos Alves Madeira Adão
University: Instituto Superior Técnico
Keywords: