| 2009 | ||
|---|---|---|
| 2 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Type-Based Analysis of PIN Processing APIs. ESORICS 2009: 53-68 | |
| 2008 | ||
| 1 | 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] |