Davide Vernizzi

An Open Trusted Computing Architecture — Secure Virtual Machines Enabling User-Defined Policy Enforcement

M. Schunter, D. Kuhlmann, Rainer Landfermann, 2006 .

Anonymous Authentication with TLS and DAA

Ahmad-Reza Sadeghi, Emanuele Cesena, Gianluca Ramunno, 2010, TRUST.

Slides for teaching: the SLIM approach

Emanuele Cesena, Davide Vernizzi, Davide Vernizzi, 2011 .

An efficient implementation of trusted channels based on openssl

Frederik Armknecht, Ahmad-Reza Sadeghi, Gianluca Ramunno, 2008, STC '08.