Registered user since Wed 24 Jan 2024
Name:Luca Olivieri
Country:Italy
Affiliation:University Ca' Foscari, Venice
Research interests:Program Verification, Static Analysis, Formal Methods, Blockchain, Smart Contracts, Data compliance, Privacy
Contributions
Using general profile