| |
| 2008 | ||
|---|---|---|
| 2 | EE | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10 |
| 2007 | ||
| 1 | EE | Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396 |
| 1 | Alessandro Armando | [1] [2] |
| 2 | Luca Compagna | [1] [2] |
| 3 | Jorge Cuéllar | [2] |
| 4 | M. Llanos Tobarra | [2] |