CESENA, EMANUELE
CESENA, EMANUELE
Dipartimento di Automatica e Informatica
019238
Light combinators for finite fields arithmetic
2015 Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L.
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?
2014 Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L.
Typing a Core Binary-Field Arithmetic in a Light Logic
2012 Cesena, Emanuele; M., Pedicini; L., Roversi
A unified ontology for the virtualization domain
2011 Silvestro, Jacopo; Canavese, Daniele; Cesena, Emanuele; Smiraglia, Paolo
Crittografia al liceo: approfondire le classi di resto modulo n
2011 Rizzo, O. G.; Cesena, Emanuele
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.
Trusted Platform Agent
2011 Cabiddu, Giovanni; Cesena, Emanuele; Sassu, Roberto; Vernizzi, Davide; Ramunno, Gianluca; Lioy, Antonio
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
Pairing with supersingular Trace Zero Varieties revisited
2009 Cesena, Emanuele
Toward a formal framework to evaluate wireless sensor network security
2009 ABOU EL KALAM, A; Atzeni, Andrea; Cappadonia, Alberto; Cesena, Emanuele; FISCHER HUBNER, S; Lindskog, S; Martucci, L. A.; Pastrone, C.
Secure storage using a sealing proxy
2008 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
Towards Trusted Broadcast Encryption
2008 Cesena, Emanuele; Ramunno, Gianluca; Vernizzi, Davide
Trace Zero Varieties over fields of characteristic 2 for cryptographic applications
2008 Avanzi, R. M.; Cesena, Emanuele
Performances of Xen’s secured virtual networks
2007 Cesena, Emanuele; Pomi, P. C.; Ramunno, Gianluca; Vernizzi, Davide
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Light combinators for finite fields arithmetic / Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L.. - STAMPA. - 111:3(2015), pp. 365-394. [10.1016/j.scico.2015.04.001] | 1-gen-2015 | CANAVESE, DANIELECESENA, EMANUELEOUCHARY, RACHID + | 1-s2.0-S0167642315000672-main.pdf |
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? / Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L.. - STAMPA. - 8552:(2014), pp. 38-57. (Intervento presentato al convegno FOPARA 2013 tenutosi a Bertinoro nel August 2013) [10.1007/978-3-319-12466-7_3]. | 1-gen-2014 | CANAVESE, DANIELECESENA, EMANUELEOUCHARY, RACHID + | - |
Typing a Core Binary-Field Arithmetic in a Light Logic / Cesena, Emanuele; M., Pedicini; L., Roversi. - 7177:(2012), pp. 19-35. (Intervento presentato al convegno Second International Workshop, FOPARA 2011, Revised Selected Papers tenutosi a Madrid, Spain nel May 2011) [10.1007/978-3-642-32495-6_2]. | 1-gen-2012 | CESENA, EMANUELE + | - |
A unified ontology for the virtualization domain / Silvestro, Jacopo; Canavese, Daniele; Cesena, Emanuele; Smiraglia, Paolo. - STAMPA. - (2011), pp. 617-624. (Intervento presentato al convegno DOA-SVI 2011: Distributed Objects and Applications and Secure Virtual Infrastructures tenutosi a Hersonissos (Greece) nel October 17-21, 2011) [10.1007/978-3-642-25106-1_14]. | 1-gen-2011 | SILVESTRO, JACOPOCANAVESE, DANIELECESENA, EMANUELESMIRAGLIA, PAOLO | - |
Crittografia al liceo: approfondire le classi di resto modulo n / Rizzo, O. G.; Cesena, Emanuele. - ELETTRONICO. - (2011). (Intervento presentato al convegno Didamatica 2011 tenutosi a Torino (Italy) nel May 4-6, 2011). | 1-gen-2011 | CESENA, EMANUELE + | torsec_didamatica2011_classi_resto.pdf |
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 |
Trusted Platform Agent / Cabiddu, Giovanni; Cesena, Emanuele; Sassu, Roberto; Vernizzi, Davide; Ramunno, Gianluca; Lioy, Antonio. - In: IEEE SOFTWARE. - ISSN 0740-7459. - STAMPA. - 28:2(2011), pp. 35-41. [10.1109/MS.2010.160] | 1-gen-2011 | CABIDDU, GIOVANNICESENA, EMANUELESASSU, ROBERTOVERNIZZI, DAVIDERAMUNNO, GIANLUCALIOY, ANTONIO | - |
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 | - |
Pairing with supersingular Trace Zero Varieties revisited / Cesena, Emanuele. - STAMPA. - (2009). (Intervento presentato al convegno Eurocrypt 2009 tenutosi a Cologne, Germany nel April 26-30, 2009). | 1-gen-2009 | CESENA, EMANUELE | eurocrypt09-tzv-pairing-poster.pdf |
Toward a formal framework to evaluate wireless sensor network security / ABOU EL KALAM, A; Atzeni, Andrea; Cappadonia, Alberto; Cesena, Emanuele; FISCHER HUBNER, S; Lindskog, S; Martucci, L. A.; Pastrone, C.. - (2009). | 1-gen-2009 | ATZENI, ANDREACAPPADONIA, ALBERTOCESENA, EMANUELE + | - |
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 | - |
Trace Zero Varieties over fields of characteristic 2 for cryptographic applications / Avanzi, R. M.; Cesena, Emanuele. - STAMPA. - 5:(2008), pp. 188-215. (Intervento presentato al convegno SAGA 2007: The first symposium on algebraic geometry and its applications tenutosi a Papeete, Tahiti, French Polynesia nel May 7-11, 2007). | 1-gen-2008 | CESENA, EMANUELE + | - |
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 + | - |