Matteo Busi

According to our database1, Matteo Busi authored at least 10 papers between 2016 and 2020.

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

2020
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.
CoRR, 2020

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version).
CoRR, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.
CoRR, 2020

Control-flow Flattening Preserves the Constant-Time Policy.
Proceedings of the Fourth Italian Conference on Cyber Security, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019
Translation Validation for Security Properties.
CoRR, 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...