 | 2012 |
|---|
| 5 |       | Matteo Centenaro,
Riccardo Focardi,
Flaminia L. Luccio:
Type-Based Analysis of PKCS#11 Key Management.
POST 2012: 349-368 |
| 2010 |
|---|
| 4 | | 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 |
| 3 | | Matteo Centenaro,
Riccardo Focardi:
Match It or Die: Proving Integrity by Equality.
ARSPA-WITS 2010: 130-145 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page