
Dottorato in Ingegneria Informatica E Dei Sistemi , 22o ciclo (2007-2009)
Dottorato concluso nel 2010
Tesi:
Trusted computing ed applicazioni reali
Tutori:
Antonio LioyDidattica
Insegnamenti
Corso di laurea di 1° livello
- Ingegneria del software. A.A. 2009/10, INGEGNERIA DELL'ORGANIZZAZIONE D'IMPRESA. Collaboratore del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Cesena, Emanuele; Vernizzi, Davide (2011)
Slides for teaching: the SLIM approach. In: Didamatica 2011, Torino (Italy), May 4-6, 2011
Contributo in Atti di Convegno (Proceeding) - Cesena, Emanuele; Ramunno, Gianluca; Sassu, Roberto; Vernizzi, Davide; Lioy, Antonio (2011)
On scalability of remote attestation. In: STC'11: 6th ACM workshop on Scalable Trusted Computing, Chicago (IL, USA), October 17, 2011, pp. 25-30
Contributo in Atti di Convegno (Proceeding) - Cabiddu, G.; Cesena, E.; Sassu, R.; Vernizzi, D.; Ramunno, G.; Lioy, A. (2011)
The Trusted Platform Agent. In: IEEE SOFTWARE, vol. 28, pp. 35-41. ISSN 0740-7459
Contributo su Rivista - Cabiddu, Giovanni; Cesena, Emanuele; Vernizzi, Davide (2010)
Anonymous services - Enhancing end-user privacy exploiting anonymous networks. In: Secrypt 2010: Int. conf. on security and cryptography, Athens (Greece), July 26-28, 2010, pp. 221-225. ISBN: 9789898425188
Contributo in Atti di Convegno (Proceeding) - Cesena, Emanuele; Loehr, H.; Ramunno, Gianluca; Sadeghi, A. R.; Vernizzi, Davide (2010)
Anonymous authentication with TLS and DAA. In: Third International Conference, TRUST 2010, Berlin (Germany), June 21-23, 2010, pp. 47-62. ISSN 0302-9743. ISBN: 9783642138683
Contributo in Atti di Convegno (Proceeding) - Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide (2009)
D03c.3 SSL/TLS DAA-enhancement specification.
Altro - Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide (2009)
D03c.6 OpenSSL engine/DAA enhancement design specification.
Altro - Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide (2009)
D03c.12 OpenSSL engine/DAA enhancement source code and documentation.
Altro - Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide (2009)
Trusted-Computing Technologies for the Protection of Critical Information Systems. In: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, vol. 4, pp. 449-457. ISSN 1554-1010
Contributo su Rivista - Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide (2008)
Towards Trusted Broadcast Encryption. In: TrustCom 2008, Zhang Jia Jie, Hunan, China, November 18-20, 2008, pp. 2125-2130. ISBN: 9780769533988
Contributo in Atti di Convegno (Proceeding) - Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide (2008)
Trusted-Computing Technologies forthe Protection of Critical Information Systems. In: CISIS'08 - Int. Workshop on Computational Intelligence in Security for Information Systems, Genova (Italy), 23-24 October 2008, pp. 77-83. ISBN: 9783540881803
Contributo in Atti di Convegno (Proceeding) - Armknecht, F.; Gasmi, Y.; Sadeghi, A. R.; Stewin, P.; Unger, M.; Ramunno, Gianluca; ... (2008)
An Efficient Implementation of Trusted Channels Based on OpenSSL. In: 3rd ACM workshop on Scalable Trusted Computing (STC'08), Fairfax, Virgina (USA), October 31, 2008, pp. 41-50. ISBN: 9781605582955
Contributo in Atti di Convegno (Proceeding) - Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide (2008)
Secure storage using a sealing proxy. In: European workshop on system security EUROSEC '08, Glasgow, Scotland, March 31, 2008, pp. 27-34. ISBN: 9781605581194
Contributo in Atti di Convegno (Proceeding) - Cesena, Emanuele; Pomi, P. C.; Ramunno, Gianluca; Vernizzi, Davide (2007)
Performances of Xen’s secured virtual networks. In: TNC 2007: TERENA Networking Conference, Copenhagen, Denmark, May 21-24, 2007
Contributo in Atti di Convegno (Proceeding) - Kuhlmann, D.; Landfermann, R.; Ramasamy, H. V.; Schunter, M.; Ramunno, Gianluca; ... (2006)
An Open Trusted Computing Architecture — Secure Virtual Machines Enabling User-Defined Policy Enforcement. pp. 1-15
Altro