COMPAGNA, LUCA
COMPAGNA, LUCA
38 - Dipartimento di Informatica e Scienze dell'Informazione (DISI) (attivo dal 01/03/1992 al 18/07/2012)
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning
2002-01-01 Armando, Alessandro; Compagna, Luca
Automatic Security Analysis of SAML-Based Single Sign-On Protocols
2012-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca; G., Pellegrino
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?
2011-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca; J., Cuéllar; G., Pellegrino; A., Sorniotti
LTL Model Checking for Security Protocols
2009-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
LTL Model Checking for Security Protocols
2007-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
SAT-based Model Checking for Security Protocols Analysis
2008-01-01 Armando, Alessandro; Compagna, Luca
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
2012-01-01 Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; Compagna, Luca; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning | 1-gen-2002 | Armando, Alessandro; Compagna, Luca | |
| Automatic Security Analysis of SAML-Based Single Sign-On Protocols | 1-gen-2012 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca; G., Pellegrino | |
| From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca; J., Cuéllar; G., Pellegrino; A., Sorniotti | |
| LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| LTL Model Checking for Security Protocols | 1-gen-2007 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| SAT-based Model Checking for Security Protocols Analysis | 1-gen-2008 | Armando, Alessandro; Compagna, Luca | |
| SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures | 1-gen-2012 | Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; Compagna, Luca; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò |