Information flow security of multi-threaded distributed programs. - Riccardo Focardi; Matteo Centenaro (PLAS, 2008)

Type-Based Analysis of PIN Processing APIs. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio; Graham Steel (ESORICS, 2009)

Attacking and fixing PKCS#11 security tokens. - Matteo Bortolozzo; Matteo Centenaro; Riccardo Focardi; Graham Steel (CCS, 2010)

Match It or Die: Proving Integrity by Equality. - Matteo Centenaro; Riccardo Focardi (ARSPA-WITS, 2010)

Type-based analysis of security APIs. - Matteo Centenaro (2011)

Type-Based Analysis of PKCS#11 Key Management. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio (POST, 2012)

Type-based analysis of key management in PKCS#11 cryptographic devices. - Matteo Centenaro; Riccardo Focardi; Flaminia L. Luccio (J. Comput. Secur., 2013)