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

2023

ProLaLa

Author of Formalising Criminal Law in Catala within the ProLaLa 2023-track

CPP

Author of Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively within the CPP 2023-track

2022

FormaliSE

Author of Automating Cryptographic Protocol Language Generation from Structured Specifications within the FormaliSE 2022-track