Dynamic Coordinated Email Visualization. - Simone Frau; Jonathan C. Roberts; Nadia Boukhelifa (WSCG (Full Papers), 2005)

Petri Net Security Checker: Structural Non-interference at Work. - Simone Frau; Roberto Gorrieri; Carlo Ferigato (Formal Aspects in Security and Trust, 2008)

Integrated Specification and Verification of Security Protocols and Policies. - Simone Frau; Mohammad Torabi Dashti (CSF, 2011)

Analysis of Communicating Authorization Policies. - Simone Frau; Mohammad Torabi Dashti (STM, 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; et al. (TACAS, 2012)

Analysis of reachability properties in communicating authorization policies. - Simone Frau (2012)