| 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 | 35 | 2020 |
| 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 | 17 | 2021 |
| Fully abstract and robust compilation: and how to reconcile the two, abstractly C Abate, M Busi, S Tsampas Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 10 | 2021 |
| Using standard typing algorithms incrementally M Busi, P Degano, L Galletta NASA Formal Methods Symposium, 106-122, 2019 | 9 | 2019 |
| 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 | 7* | 2022 |
| A Brief Tour of Formally Secure Compilation M Busi, L Galletta 3rd Italian Conference on Cybersecurity ITASEC, 2019 | 5 | 2019 |
| Provably secure isolation for interruptible enclaved execution on small microprocessors: Extended version M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ... arXiv preprint arXiv:2001.10881, 2020 | 3 | 2020 |
| Bridging the Gap: Automated Analysis of Sancus M Busi, R Focardi, F Luccio 37th IEEE Computer Security Foundations Symposium, 2024 | 2 | 2024 |
| A Semantics for Disciplined Concurrency in COP M Busi, P Degano, L Galletta ICTCS, 177-189, 2016 | 2 | 2016 |
| : A for Verifying Protocols that Use Remote Attestation E Lanckriet, M Busi, D Devriese 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 537-551, 2023 | 1 | 2023 |
| Secure Compilation All the Way Down M Busi Università di Pisa, 2021 | 1 | 2021 |
| 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: Essays …, 2019 | 1 | 2019 |
| When Obfuscations Preserve Cryptographic Constant-Time M Busi, P Degano, L Galletta Workshop on Principles of Secure Compilation, 2024 | | 2024 |
| A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study F Palmarini, L Veronese, M Busi, R Focardi, F Luccio 2023 IEEE International Conference on Cyber Security and Resilience (CSR …, 2023 | | 2023 |
| Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces M Busi, R Focardi, F Luccio Workshop on Foundations of Computer Security (FCS23), 2023 | | 2023 |
| Automated Learning and Verification of Embedded Security Architectures M Busi, R Focardi, F Luccio Workshop on Principles of Secure Compilation, 2023 | | 2023 |
| Mechanical incrementalization of typing algorithms M Busi, P Degano, L Galletta Science of Computer Programming 208, 102657, 2021 | | 2021 |
| The Fox and the Hound: Comparing Fully Abstract and Robust Compilation. C Abate, M Busi CoRR, 2020 | | 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 |
Letterio GallettaIMT School for Advanced Studies Lucca確認したメール アドレス: imtlucca.it