| 2008 | ||
|---|---|---|
| 2 | EE | Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79 |
| 2007 | ||
| 1 | EE | Alfredo Pironti, Riccardo Sisto: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC 2007: 839-844 |
| 1 | Riccardo Sisto | [1] [2] |