Matteo Busi -

Registered user since Thu 6 Dec 2018

Name:Matteo Busi

Country:Italy

Affiliation:University Ca' Foscari, Venice

Personal website:https://matteobusi.github.io

Twitter:https://twitter.com/mttbsu

GitHub:https://github.com/matteobusi

Research interests:software security, language-based security, secure compilation

Contributions

PriSC 2023	Author of pi_RA: A pi-calculus for verifying protocols that use remote attestation within the PriSC 2023-track Session Chair of Session 4 (part of PriSC 2023) Author of Automated Learning and Verification of Embedded Security Architectures within the PriSC 2023-track
PriSC 2022	Committee Member in Program Committee within the PriSC 2022-track Author of The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly within the PriSC 2022-track
APLAS 2021	Author of Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly within the Research Papers-track
PriSC 2021	Author of The Fox and the Hound: Comparing Fully Abstract and Robust Compilation within the PriSC 2021-track
PriSC 2020	Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
PriSC 2019	Author of Translation Validation for Security Properties within the PriSC 2019-track