| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Type-Based Analysis of PIN Processing APIs. ESORICS 2009: 53-68 |
| 2008 | ||
| 1 | EE | Riccardo Focardi, Matteo Centenaro: Information flow security of multi-threaded distributed programs. PLAS 2008: 113-124 |
| 1 | Riccardo Focardi | [1] [2] |
| 2 | Flaminia L. Luccio | [2] |
| 3 | Graham Steel | [2] |