Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Luca Arnaboldi

Registered user since Tue 17 May 2022

Name:Luca Arnaboldi
Country:United Kingdom
Affiliation:The University of Edinburgh
Personal website:http://arnaboldiluca.eu/
Research interests:Formal Verification, Security, Machine Learning

Contributions

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

ICSE 2022-profile
View general profile