Matteo Busi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers. | Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia L. Luccio, Stefano Mercogliano |
| 2022 | SAC | Towards effective preservation of robust safety properties. | Matteo Busi, Pierpaolo Degano, Letterio Galletta |
| 2021 | APLAS | Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. | Carmine Abate, Matteo Busi, Stelios Tsampas |