Matteo Centenaro

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Provably Secure

Top Venues

J. Comput. Secur.

Publications

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
Type-based analysis of key management in PKCS#11 cryptographic devices. J. Comput. Secur. 21 (6) (2013)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
Type-Based Analysis of PKCS#11 Key Management. POST (2012)
Matteo Centenaro, Riccardo Focardi
Match It or Die: Proving Integrity by Equality. ARSPA-WITS (2010)
Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel
Attacking and fixing PKCS#11 security tokens. CCS (2010)
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Type-Based Analysis of PIN Processing APIs. ESORICS (2009)
Riccardo Focardi, Matteo Centenaro
Information flow security of multi-threaded distributed programs. PLAS (2008)