Simone Frau

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Public Key Infrastructure

Trust Negotiation

Top Venues

Publications

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ò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Simone Frau, Mohammad Torabi Dashti
Analysis of Communicating Authorization Policies. STM (2012)
Simone Frau, Mohammad Torabi Dashti
Integrated Specification and Verification of Security Protocols and Policies. CSF (2011)
Simone Frau, Roberto Gorrieri, Carlo Ferigato
Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust (2008)
Simone Frau, Jonathan C. Roberts, Nadia Boukhelifa
Dynamic Coordinated Email Visualization. WSCG (Full Papers) (2005)