Follow
Matteo Busi
Title
Cited by
Cited by
Year
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
33rd IEEE CSF, 2020
212020
Using standard typing algorithms incrementally
M Busi, P Degano, L Galletta
NASA Formal Methods Symposium, 106-122, 2019
52019
A Brief Tour of Formally Secure Compilation
M Busi, L Galletta
3rd Italian Conference on Cybersecurity ITASEC, 2019
52019
Securing interruptible enclaved execution on small microprocessors
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (3), 1-77, 2021
42021
Towards effective preservation of robust safety properties
M Busi, P Degano, L Galletta
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1674-1683, 2022
3*2022
Fully Abstract and Robust Compilation
C Abate, M Busi, S Tsampas
Asian Symposium on Programming Languages and Systems, 83-101, 2021
32021
A Semantics for Disciplined Concurrency in COP
M Busi, P Degano, L Galletta
ICTCS, 177-189, 2016
22016
Control-flow Flattening Preserves the Constant-Time Policy
M Busi, P Degano, L Galletta
4th Italian Conference on Cybersecurity ITASEC, 2020
1*2020
Robust Declassification by Incremental Typing
M Busi, P Degano, L Galletta
Foundations of Security, Protocols, and Equational Reasoning, 54-69, 2019
12019
Mechanical incrementalization of typing algorithms
M Busi, P Degano, L Galletta
Science of Computer Programming 208, 102657, 2021
2021
Secure Compilation All the Way Down
M Busi
Università di Pisa, 2021
2021
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
C Abate, M Busi
2020
Securing Interruptible Enclaves
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
Workshop on Principles of Secure Compilation 2020, 2020
2020
Four semantics for a disciplined concurrency in COP
M Busi
2017
The system can't perform the operation now. Try again later.
Articles 1–14