Archivio Istituzionale della RicercaVERNIZZI, 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
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
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
| 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). ( Didamatica 2011 Torino (Italy) May 4-6, 2011). | 1-gen-2011 | CESENA, EMANUELEVERNIZZI, DAVIDE | torsec_didamatica2011_slide_machine.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. ( Secrypt 2010: Int. conf. on security and cryptography Athens (Greece) July 26-28, 2010). | 1-gen-2010 | CABIDDU, GIOVANNICESENA, EMANUELEVERNIZZI, 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. ( TrustCom 2008 Zhang Jia Jie, Hunan, China 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. ( CISIS'08 - Int. Workshop on Computational Intelligence in Security for Information Systems Genova (Italy) 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). ( TNC 2007: TERENA Networking Conference Copenhagen, Denmark May 21-24, 2007). | 1-gen-2007 | CESENA, EMANUELERAMUNNO, GIANLUCAVERNIZZI, DAVIDE + | - |