According to our database1, Matteo Busi authored at least 10 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.
Proceedings of the Fourth Italian Conference on Cyber Security, 2020
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Third Italian Conference on Cyber Security, 2019
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016