Filippo Del Tedesco

According to our database, Filippo Del Tedesco authored at least 8 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Fault-Resilient Non-interference.

Filippo Del Tedesco, David Sands, Alejandro Russo

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014

An Information Flow Approach to Fault-Tolerant Security and Information Erasure.

Filippo Del Tedesco

PhD thesis, 2014

Type-Directed Compilation for Fault-Tolerant Non-Interference.

Filippo Del Tedesco, David Sands, Alejandro Russo

CoRR, 2014

Fault-Tolerant Non-interference.

Filippo Del Tedesco, Alejandro Russo, David Sands

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2011

A Semantic Hierarchy for Erasure Policies.

Filippo Del Tedesco, Sebastian Hunt, David Sands

Proceedings of the Information Systems Security - 7th International Conference, 2011

2010

Implementing Erasure Policies Using Taint Analysis.

Filippo Del Tedesco, Alejandro Russo, David Sands

Proceedings of the Information Security Technology for Applications, 2010

2009

A User Model for Information Erasure

Filippo Del Tedesco, David Sands

Proceedings of the Proceedings 7th International Workshop on Security Issues in Concurrency, 2009

2008

External Control in Process Algebra for Systems Biology.

Filippo Del Tedesco, Carla Piazza

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008