Simone Frau

According to our database, Simone Frau authored at least 6 papers between 2005 and 2012.

Collaborative distances:

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

2012

Analysis of reachability properties in communicating authorization policies.

Simone Frau

PhD thesis, 2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Analysis of Communicating Authorization Policies.

Simone Frau, Mohammad Torabi Dashti

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2011

Integrated Specification and Verification of Security Protocols and Policies.

Simone Frau, Mohammad Torabi Dashti

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2008

Petri Net Security Checker: Structural Non-interference at Work.

Simone Frau, Roberto Gorrieri, Carlo Ferigato

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2005

Dynamic Coordinated Email Visualization.

Simone Frau, Jonathan C. Roberts, Nadia Boukhelifa

Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, 2005