According to our database1, Matteo Busi authored at least 4 papers between 2016 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Using Standard Typing Algorithms Incrementally.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
A Brief Tour of Formally Secure Compilation.
Proceedings of the Third Italian Conference on Cyber Security, 2019
Robust Declassification by Incremental Typing.
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019
A Semantics for Disciplined Concurrency in COP.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016