| 2012 | ||
|---|---|---|
| c5 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio: Type-Based Analysis of PKCS#11 Key Management. POST 2012: 349-368 | |
| 2010 | ||
| c4 | Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel: Attacking and fixing PKCS#11 security tokens. ACM Conference on Computer and Communications Security 2010: 260-269 | |
| c3 | Matteo Centenaro, Riccardo Focardi: Match It or Die: Proving Integrity by Equality. ARSPA-WITS 2010: 130-145 | |
| 2009 | ||
| c2 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Type-Based Analysis of PIN Processing APIs. ESORICS 2009: 53-68 | |
| 2008 | ||
| c1 | Riccardo Focardi, Matteo Centenaro: Information flow security of multi-threaded distributed programs. PLAS 2008: 113-124 | |
| 1 | Matteo Bortolozzo | |
| 2 | Riccardo Focardi | |
| 3 | Flaminia L. Luccio | |
| 4 | Graham Steel |
Data released under the ODC-BY 1.0 license — See also our legal information page