Matteo Centenaro

According to our database, Matteo Centenaro authored at least 7 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Type-based analysis of key management in PKCS#11 cryptographic devices.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

J. Comput. Secur., 2013

2012

Type-Based Analysis of PKCS#11 Key Management.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

Type-based analysis of security APIs.

Matteo Centenaro

PhD thesis, 2011

2010

Match It or Die: Proving Integrity by Equality.

Matteo Centenaro, Riccardo Focardi

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Attacking and fixing PKCS#11 security tokens.

Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Type-Based Analysis of PIN Processing APIs.

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel

Proceedings of the Computer Security, 2009

2008

Information flow security of multi-threaded distributed programs.

Riccardo Focardi, Matteo Centenaro

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008