Roberto Metere

Roberto Metere


Accepting PhD Students

PhD projects

Formal verification of security properties of cryptographic constructions, algorithms and protocols.
Mechanisation of the above and security properties in the computational model and the symbolic model (popular rigorous mathematical models in security).

Personal profile


  • QA76 Computer software
  • Security
  • Formal methods
  • Formal verification
  • Cryptography

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or