Matteo Busi

Registered user since Thu 6 Dec 2018

Name:Matteo Busi
Affiliation:University Ca' Foscari, Venice
Research interests:software security, language-based security, secure compilation


PriSC 2023 pi_RA: A pi-calculus for verifying protocols that use remote attestation
Session Chair of Session 4 (part of PriSC 2023)
Automated Learning and Verification of Embedded Security Architectures
Show activities from other conferences

POPL 2023-profile
View general profile