Matteo Busi

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 14

Top Topics

Parameter Tuning

Partially Blind Signature Scheme

Workflow Management Systems

Top Venues

Publications

Matteo Busi, Pierpaolo Degano, Letterio Galletta
Mechanical incrementalization of typing algorithms. Sci. Comput. Program. 208 (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Carmine Abate, Matteo Busi, Stelios Tsampas
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. APLAS (2021)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy. ITASEC (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR (2020)
Carmine Abate, Matteo Busi
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation. CoRR (2020)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version). CoRR (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF (2020)
Matteo Busi, Letterio Galletta
A Brief Tour of Formally Secure Compilation. ITASEC (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Robust Declassification by Incremental Typing. Foundations of Security, Protocols, and Equational Reasoning (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. NFM (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Translation Validation for Security Properties. CoRR (2019)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
Using Standard Typing Algorithms Incrementally. CoRR (2018)
Matteo Busi, Pierpaolo Degano, Letterio Galletta
A Semantics for Disciplined Concurrency in COP. ICTCS (2016)