Search filters

List of works by Matteo Centenaro

Attacking and fixing PKCS#11 security tokens

scientific article published in 2010

Information flow security of multi-threaded distributed programs

scientific article published in 2008

Match It or Die: Proving Integrity by Equality

scientific article published in 2010

Type-Based Analysis of PIN Processing APIs

scientific article published in 2009

Type-Based Analysis of PKCS#11 Key Management

scientific article published in 2012

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

scientific article published on 20 December 2013

Paulina is supported by:

About Paulina

Help