VERNIZZI, DAVIDE
VERNIZZI, DAVIDE
Dipartimento di Automatica e Informatica
018558
On scalability of remote attestation
2011 Cesena, Emanuele; Ramunno, Gianluca; Sassu, Roberto; Vernizzi, Davide; Lioy, Antonio
Slides for teaching: the SLIM approach
2011 Cesena, Emanuele; Vernizzi, Davide
The Trusted Platform Agent
2011 Cabiddu, G.; Cesena, E.; Sassu, R.; Vernizzi, D.; Ramunno, G.; Lioy, A.
Anonymous authentication with TLS and DAA
2010 Cesena, Emanuele; Loehr, H.; Ramunno, Gianluca; Sadeghi, A. R.; Vernizzi, Davide
Anonymous services - Enhancing end-user privacy exploiting anonymous networks
2010 Cabiddu, Giovanni; Cesena, Emanuele; Vernizzi, Davide
D03c.12 OpenSSL engine/DAA enhancement source code and documentation
2009 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
D03c.3 SSL/TLS DAA-enhancement specification
2009 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
D03c.6 OpenSSL engine/DAA enhancement design specification
2009 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
Trusted-Computing Technologies for the Protection of Critical Information Systems
2009 Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide
An Efficient Implementation of Trusted Channels Based on OpenSSL
2008 Armknecht, F.; Gasmi, Y.; Sadeghi, A. R.; Stewin, P.; Unger, M.; Ramunno, Gianluca; Vernizzi, Davide
Secure storage using a sealing proxy
2008 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
Towards Trusted Broadcast Encryption
2008 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
Trusted-Computing Technologies forthe Protection of Critical Information Systems
2008 Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide
Performances of Xen’s secured virtual networks
2007 Cesena, Emanuele; Pomi, P. C.; Ramunno, Gianluca; Vernizzi, Davide
An Open Trusted Computing Architecture — Secure Virtual Machines Enabling User-Defined Policy Enforcement
2006 Kuhlmann, D.; Landfermann, R.; Ramasamy, H. V.; Schunter, M.; Ramunno, Gianluca; Vernizzi, Davide
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
On scalability of remote attestation / Cesena, Emanuele; Ramunno, Gianluca; Sassu, Roberto; Vernizzi, Davide; Lioy, Antonio. - STAMPA. - (2011), pp. 25-30. (Intervento presentato al convegno STC'11: 6th ACM workshop on Scalable Trusted Computing tenutosi a Chicago (IL, USA) nel October 17, 2011) [10.1145/2046582.2046588]. | 1-gen-2011 | CESENA, EMANUELERAMUNNO, GIANLUCASASSU, ROBERTOVERNIZZI, DAVIDELIOY, ANTONIO | - |
Slides for teaching: the SLIM approach / Cesena, Emanuele; Vernizzi, Davide. - ELETTRONICO. - (2011). (Intervento presentato al convegno Didamatica 2011 tenutosi a Torino (Italy) nel May 4-6, 2011). | 1-gen-2011 | CESENA, EMANUELEVERNIZZI, DAVIDE | torsec_didamatica2011_slide_machine.pdf |
The Trusted Platform Agent / Cabiddu, G.; Cesena, E.; Sassu, R.; Vernizzi, D.; Ramunno, G.; Lioy, A.. - In: IEEE SOFTWARE. - ISSN 0740-7459. - STAMPA. - 28:2(2011), pp. 35-41. [10.1109/MS.2010.160] | 1-gen-2011 | Cabiddu G.Cesena E.Sassu R.Vernizzi D.Ramunno G.Lioy A. | 05661762.pdf |
Anonymous authentication with TLS and DAA / Cesena, Emanuele; Loehr, H.; Ramunno, Gianluca; Sadeghi, A. R.; Vernizzi, Davide. - STAMPA. - 6101:(2010), pp. 47-62. (Intervento presentato al convegno Third International Conference, TRUST 2010 tenutosi a Berlin (Germany) nel June 21-23, 2010) [10.1007/978-3-642-13869-0_4]. | 1-gen-2010 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE + | - |
Anonymous services - Enhancing end-user privacy exploiting anonymous networks / Cabiddu, Giovanni; Cesena, Emanuele; Vernizzi, Davide. - STAMPA. - (2010), pp. 221-225. (Intervento presentato al convegno Secrypt 2010: Int. conf. on security and cryptography tenutosi a Athens (Greece) nel July 26-28, 2010). | 1-gen-2010 | CABIDDU, GIOVANNICESENA, EMANUELEVERNIZZI, DAVIDE | - |
D03c.12 OpenSSL engine/DAA enhancement source code and documentation / Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide. - ELETTRONICO. - IST-027635/D03c.12/FINAL | 1.0:(2009). | 1-gen-2009 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
D03c.3 SSL/TLS DAA-enhancement specification / Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide. - ELETTRONICO. - IST-027635/D03c.3/FINAL | 1.20:(2009). | 1-gen-2009 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
D03c.6 OpenSSL engine/DAA enhancement design specification / Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide. - ELETTRONICO. - IST-027635/D03c.6/FINAL | 2.00:(2009). | 1-gen-2009 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
Trusted-Computing Technologies for the Protection of Critical Information Systems / Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide. - In: JOURNAL OF INFORMATION ASSURANCE AND SECURITY. - ISSN 1554-1010. - STAMPA. - 4:(2009), pp. 449-457. | 1-gen-2009 | LIOY, ANTONIORAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
An Efficient Implementation of Trusted Channels Based on OpenSSL / Armknecht, F.; Gasmi, Y.; Sadeghi, A. R.; Stewin, P.; Unger, M.; Ramunno, Gianluca; Vernizzi, Davide. - STAMPA. - (2008), pp. 41-50. (Intervento presentato al convegno 3rd ACM workshop on Scalable Trusted Computing (STC'08) tenutosi a Fairfax, Virgina (USA) nel October 31, 2008) [10.1145/1456455.1456462]. | 1-gen-2008 | RAMUNNO, GIANLUCAVERNIZZI, DAVIDE + | - |
Secure storage using a sealing proxy / Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide. - STAMPA. - (2008), pp. 27-34. (Intervento presentato al convegno European workshop on system security EUROSEC '08 tenutosi a Glasgow, Scotland nel March 31, 2008) [10.1145/1355284.1355290]. | 1-gen-2008 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
Towards Trusted Broadcast Encryption / Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide. - STAMPA. - (2008), pp. 2125-2130. (Intervento presentato al convegno TrustCom 2008 tenutosi a Zhang Jia Jie, Hunan, China nel November 18-20, 2008) [10.1109/ICYCS.2008.499]. | 1-gen-2008 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
Trusted-Computing Technologies forthe Protection of Critical Information Systems / Lioy, Antonio; Ramunno, Gianluca; Vernizzi, Davide. - STAMPA. - 53:(2008), pp. 77-83. (Intervento presentato al convegno CISIS'08 - Int. Workshop on Computational Intelligence in Security for Information Systems tenutosi a Genova (Italy) nel 23-24 October 2008) [10.1007/978-3-540-88181-0_10]. | 1-gen-2008 | LIOY, ANTONIORAMUNNO, GIANLUCAVERNIZZI, DAVIDE | - |
Performances of Xen’s secured virtual networks / Cesena, Emanuele; Pomi, P. C.; Ramunno, Gianluca; Vernizzi, Davide. - (2007). (Intervento presentato al convegno TNC 2007: TERENA Networking Conference tenutosi a Copenhagen, Denmark nel May 21-24, 2007). | 1-gen-2007 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE + | - |
An Open Trusted Computing Architecture — Secure Virtual Machines Enabling User-Defined Policy Enforcement / Kuhlmann, D.; Landfermann, R.; Ramasamy, H. V.; Schunter, M.; Ramunno, Gianluca; Vernizzi, Davide. - ELETTRONICO. - (2006), pp. 1-15. | 1-gen-2006 | RAMUNNO, GIANLUCAVERNIZZI, DAVIDE + | - |