| |
| 2007 | ||
|---|---|---|
| 4 | EE | Cristiano Longo, Paolo Giarrusso: A protocol to preserve a code of conduct. SAC 2007: 1579-1585 |
| 3 | EE | Cristiano Longo, Lorenzo Sciuto: A Lightweight Ontology for Rating Assessments. SWAP 2007 |
| 2003 | ||
| 2 | EE | Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson: Is the Verification Problem for Cryptographic Protocols Solved?. Security Protocols Workshop 2003: 183-189 |
| 1 | EE | Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson: Verifying Second-Level Security Protocols. TPHOLs 2003: 352-366 |
| 1 | Giampaolo Bella | [1] [2] |
| 2 | Paolo Giarrusso | [4] |
| 3 | Lawrence C. Paulson | [1] [2] |
| 4 | Lorenzo Sciuto | [3] |