Write a Blog >>

Registered user since Thu 6 Dec 2018

Name: Matteo Busi

Affiliation: Università di Pisa - Dipartimento di Informatica

Contributions

PriSC 2020Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile