Matteo BUSI

Position
Researcher
E-mail
matteo.busi@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/matteo.busi (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Assegnisti B3 (Zeta B building)

Publications

Year Type Publication
Year Type Publication
2024 Article in Conference Proceedings M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, pp. 233-248, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 (ISBN 979-8-3503-6203-9)
- URL correlato - ARCA card: 10278/5044629
2024 Abstract in Atti di convegno Matteo Busi; Pierpaolo Degano; Letterio Galletta When Obfuscations Preserve Cryptographic Constant-Time , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation, 20/01/2024
- ARCA card: 10278/5046843
2023 Article in Conference Proceedings Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation , 2023 IEEE 36th Computer Security Foundations Symposium (CSF), IEEE, pp. 537-551, Convegno: IEEE Computer Security Foundations Symposium (CSF), 09-13/07/2023 (ISBN 979-8-3503-2192-0)
DOI - ARCA card: 10278/5034714
2023 Article in Conference Proceedings Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia Luccio A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study , 2023 IEEE International Conference on Cyber Security and Resilience, IEEE, pp. 99-104, Convegno: 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 23), July 31 - August 2, 2023
DOI - ARCA card: 10278/5021702
2023 Abstract in Atti di convegno Matteo Busi, Riccardo Focardi, Flaminia Luccio Automated Learning and Verification of Embedded Security Architectures , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation (PRISC'23), colocated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)., Sun 15 - Sat 21 January 2023
- ARCA card: 10278/5021701
2023 Abstract in Atti di convegno Busi Matteo; Focardi Riccardo; Luccio Flaminia Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces in Marco Patrignani, Ethan Cecchetti, Workshop on Foundations of Computer Security (FCS23), None, Convegno: Workshop on Foundations of Computer Security (FCS23), 9th July 2023
- ARCA card: 10278/5024840
2022 Article in Conference Proceedings Busi M.; Degano P.; Galletta L. Towards effective preservation of robust safety properties , Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, pp. 1674-1683, Convegno: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, 2022 (ISBN 9781450387132)
DOI - ARCA card: 10278/5034729
2021 Journal Article Busi M.; Degano P.; Galletta L. Mechanical incrementalization of typing algorithms in SCIENCE OF COMPUTER PROGRAMMING, vol. 208, pp. 102657 (ISSN 0167-6423)
DOI - ARCA card: 10278/5034720
2021 Journal Article Busi M.; Noorman J.; Van Bulck J.; Galletta L.; Degano P.; Muhlberg J.T.; Piessens F. Securing Interruptible Enclaved Execution on Small Microprocessors in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 43, pp. 1-77 (ISSN 0164-0925)
DOI - ARCA card: 10278/5034731
2021 Article in Conference Proceedings Abate C.; Busi M.; Tsampas S. Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, vol. 13008, pp. 83-101, Convegno: 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, 2021 (ISBN 978-3-030-89050-6; 978-3-030-89051-3) (ISSN 0302-9743)
DOI - ARCA card: 10278/5034730
2020 Article in Conference Proceedings Busi M.; Degano P.; Galletta L. Control-flow flattening preserves the constant-time policy , CEUR Workshop Proceedings, CEUR-WS, vol. 2597, pp. 82-92, Convegno: 4th Italian Conference on Cyber Security, ITASEC 2020, 2020 (ISSN 1613-0073)
- ARCA card: 10278/5034723
2020 Article in Conference Proceedings Busi M.; Noorman J.; Bulck J.V.; Galletta L.; Degano P.; Muhlberg J.T.; Piessens F. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors , Proceedings - IEEE Computer Security Foundations Symposium, IEEE Computer Society, vol. 2020-, pp. 262-276, Convegno: 33rd IEEE Computer Security Foundations Symposium, CSF 2020, 2020 (ISBN 978-1-7281-6572-1) (ISSN 1940-1434)
DOI - ARCA card: 10278/5034728
2019 Article in Conference Proceedings Busi M.; Galletta L. A brief tour of formally secure compilation , CEUR Workshop Proceedings, CEUR-WS, vol. 2315, Convegno: 3rd Italian Conference on Cyber Security, ITASEC 2019 (ISSN 1613-0073)
- ARCA card: 10278/5034717
2019 Article in Conference Proceedings Busi M.; Degano P.; Galletta L. Robust Declassification by Incremental Typing , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, vol. 11565, pp. 54-69, Convegno: Catherine Meadows Festschrift Symposium, 2019, 2019 (ISBN 978-3-030-19051-4; 978-3-030-19052-1) (ISSN 0302-9743)
DOI - ARCA card: 10278/5034734
2019 Article in Conference Proceedings Busi M.; Degano P.; Galletta L. Using standard typing algorithms incrementally , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Verlag, vol. 11460, pp. 106-122, Convegno: 11th International Symposium on NASA Formal Methods, NFM 2019, 2019 (ISBN 978-3-030-20651-2; 978-3-030-20652-9) (ISSN 0302-9743)
DOI - ARCA card: 10278/5034733
2016 Article in Conference Proceedings Busi M.; Degano P.; Galletta L. A semantics for disciplined concurrency in COP , CEUR Workshop Proceedings, CEUR-WS, vol. 1720, pp. 177-189, Convegno: 17th Italian Conference on Theoretical Computer Science, ICTCS 2016, 2016 (ISSN 1613-0073)
- ARCA card: 10278/5034732

List of selected publications