Matteo Busi

According to our database1, Matteo Busi authored at least 4 papers between 2016 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
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

2016
A Semantics for Disciplined Concurrency in COP.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016


  Loading...