Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Roberto Metere

Registered user since Thu 31 Mar 2022

Name:Roberto Metere
Country:United Kingdom
Affiliation:Newcastle University
Personal website:http://roberto.metere.eu
Research interests:Cryptography, Security, Formal methods

Contributions

FormaliSE 2022 Automating Cryptographic Protocol Language Generation from Structured Specifications
Show activities from other conferences

ICSE 2022-profile
View general profile