Roberto Metere

Roberto Metere

Dr

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

Filter
Article

Search results