CENTENARO, MATTEO
CENTENARO, MATTEO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
Fixing PKCS#11 by key-diversification
2011-01-01 Focardi, Riccardo; Centenaro, Matteo
Match It or Die: Proving Integrity by Equality
2011-01-01 Centenaro, Matteo; Focardi, Riccardo
Type-based Analysis of Key Management in PKCS#11 cryptographic devices
2013-01-01 Centenaro, Matteo; Focardi, Riccardo; Luccio, Flaminia
Type-Based Analysis of PKCS#11 Key Management
2012-01-01 Centenaro, Matteo; Focardi, Riccardo; Luccio, Flaminia
Type-based analysis of security APIs
2011-03-03 Centenaro, Matteo
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Fixing PKCS#11 by key-diversification | 1-gen-2011 | FOCARDI, RiccardoCENTENARO, MATTEO | 4.2 Abstract in Atti di convegno | - | |
| Match It or Die: Proving Integrity by Equality | 1-gen-2011 | CENTENARO, MATTEOFOCARDI, Riccardo | 4.1 Articolo in Atti di convegno | - | |
| Type-based Analysis of Key Management in PKCS#11 cryptographic devices | 1-gen-2013 | CENTENARO, MATTEOFOCARDI, RiccardoLUCCIO, Flaminia | 2.1 Articolo su rivista | - | |
| Type-Based Analysis of PKCS#11 Key Management | 1-gen-2012 | CENTENARO, MATTEOFOCARDI, RiccardoLUCCIO, Flaminia | 4.1 Articolo in Atti di convegno | - | |
| Type-based analysis of security APIs | 3-mar-2011 | Centenaro, Matteo | - | - |