Matteo Busi

Identifiers

• name variant Matteo Busi 0.60 · backfill

Papers (8)

1. Strands Rocq: Why is a Security Protocol Correct, Mechanically? cs.CR · 2025 · author #1
2. 3D Imaging of directional multi-scale cellulose nanostructures through multi-directional dark-field neutron tomography cond-mat.mes-hall · 2024 · author #1
3. Bridging the Gap: Automated Analysis of Sancus cs.CR · 2024 · author #1
4. Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly cs.PL · 2020 · author #2
5. Control-flow Flattening Preserves the Constant-Time Policy (Extended Version) cs.PL · 2020 · author #1
6. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version cs.CR · 2020 · author #1
7. Translation Validation for Security Properties cs.PL · 2019 · author #1
8. Using Standard Typing Algorithms Incrementally cs.PL · 2018 · author #1

Mentions

• 2502.12848 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 2404.09518 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 2006.14969 #2 · arxiv_oai · confidence 0.70 Matteo Busi
• 2003.05836 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 2001.10881 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 1901.05082 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 1808.00225 #1 · arxiv_oai · confidence 0.70 Matteo Busi
• 2407.06728 #1 · arxiv_oai · confidence 0.70 Matteo Busi

Frequent Coauthors

• Letterio Galletta 4 shared papers
• Pierpaolo Degano 4 shared papers
• Riccardo Focardi 2 shared papers
• Agnes {\AA}hl 1 shared papers
• Carmine Abate 1 shared papers
• Elisabetta Nocerino 1 shared papers
• Flaminia L. Luccio 1 shared papers
• Flaminia Luccio 1 shared papers
• Frank Piessens 1 shared papers
• Jan Tobias M\"uhlberg 1 shared papers
• Job Noorman 1 shared papers
• Jo Van Bulck 1 shared papers
• Lennart Bergstr\"om 1 shared papers
• Markus Strobl 1 shared papers
• Stelios Tsampas 1 shared papers