M
Matteo Centenaro
Researcher at Ca' Foscari University of Venice
Publications - 10
Citations - 184
Matteo Centenaro is an academic researcher from Ca' Foscari University of Venice. The author has contributed to research in topics: PKCS #11 & Security token. The author has an hindex of 5, co-authored 10 publications receiving 180 citations.
Papers
More filters
Proceedings ArticleDOI
Attacking and fixing PKCS#11 security tokens
TL;DR: It is shown how to extract sensitive cryptographic keys from a variety of commercially available tamper resistant cryptographic security tokens, exploiting vulnerabilities in their RSA PKCS#11 based APIs, using Tookan, an automated tool developed.
Book ChapterDOI
Type-based analysis of PIN processing APIs
TL;DR: An improved API for tamperresistant Hardware Security Modules is proposed, an extended type system for assuring integrity and for preserving confidentiality via randomized and nonrandomized encryptions is given, and a new API is proposed to be type-checkable.
Proceedings ArticleDOI
Information flow security of multi-threaded distributed programs
TL;DR: This work extends a simple imperative language with cryptographic operations which are modelled as special expressions respecting the Dolev-Yao assumptions and obtains a definition of strongly secure programs corresponding to the one proposed by Sabelfeld and Sands for programs without cryptography.
Journal ArticleDOI
Type-based analysis of key management in PKCS#11 cryptographic devices
TL;DR: This paper defines a simple imperative programming language, suitable to code PKCS#11 symmetric key management, and develops a type-based analysis to prove that the secrecy of sensitive keys is preserved under a certain policy.
Book ChapterDOI
Type-Based analysis of PKCS#11 key management
TL;DR: This paper defines a simple imperative programming language, suitable to code PKCS#11 symmetric key management, and develops a type-based analysis to prove that the secrecy of sensitive keys is preserved under a certain policy.