Roberto Metere

Roberto Metere

Dr

 https://orcid.org/0000-0001-6992-4285

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).

  • 1 Consultancy (in kind)
  • 1 PhD
  • 1 Association

Search results