Mario DI RAIMONDO

Ricercatore in Informatica presso l'Università di Catania dal 2007 con titolo di Professore aggregato. 

Dopo aver conseguito la laurea in Informatica nel 2002, ha ottenuto il titolo di Dottore di Ricerca (PhD) in Informatica presso l'Università di Catania nel 2006 con una tesi di dottorato su tematiche relative alla Crittografia sviluppata sotto la supervisione del Dott. Rosario Gennaro (IBM Research – US) e del Prof. Domenico Cantone (Università di Catania). 

Per collaborazioni di ricerca, ha trascorso periodi all'estero presso strutture di ricerca private (IBM T.J. Watson Research Center – US) e presso altre università (Columbia University – US).

Insegna attualmente presso i corsi di Laurea di Primo Livello e Magistrale in Informatica dell'Università di Catania.

Formazione

• Dottorato di Ricerca (PhD) in Informatica, 2006;
• Laurea quinquennale in Informatica, 2002.

Posizione Lavorativa

• Ricercatore INF/01 confermato, dal 2007 ad oggi;
• Contrattista di Ricerca, dal 2006 al 2007.

Didattica

• Docente di riferimento per il corso di Sistemi Operativi (72 ore) della Laurea di Primo Livello in Informatica presso il DMI dell'Università di Catania, dal 2009 ad oggi;
• Docente di riferimento per il corso di Crypto Engeenieering (48 ore) della Laurea Magistrale in Informatica presso il DMI dell'Università di Catania, dal 2016 ad oggi;
• Altre docenze (Reti di Calcolatori, Sistemi Operativi e Laboratorio, Sicurezza) per la Laurea di Primo Livello in Informatica Applicata presso il Centro Ricerche IPPARI dell'Università di Catania, dal 2005 al 2010.

( ultimo aggiornamento: 04/09/2018 )

• D. Catalano, M. Di Raimondo, S. Faro, Verifiable Pattern Matching on Outsourced Texts, 10th International Conference on Security and Cryptography for Networks (SCN 2016), Springer-Verlag, pp. 333–350, 2016
• E. Bresson, D. Catalano, M. Di Raimondo, D. Fiore, R. Gennaro, Off-Line/On-Line Signatures revisited: a general unifying paradigm, efficient threshold variants and experimental results, International Journal of Information Security, volume 12, issue 6, pp. 439–465, 2013.
• D. Catalano, M. Di Raimondo, D. Fiore, R. Gennaro, O. Puglisi, Fully Non-Interactive Onion Routing with Forward-Secrecy, International Journal of Information Security, special issue, volume 12, number 1, pp. 33–47, 2013
• D. Catalano, M. Di Raimondo, D. Fiore, M. Messina, Zero-Knowledge Sets with Short Proofs, IEEE Transactions on Information Theory, volume 57, issue 4, pp. 2488–2502, 2011
• D. Catalano, M. Di Raimondo, D. Fiore, R. Gennaro, O. Puglisi, Fully Non-Interactive Onion Routing with Forward-Secrecy, 9th International Conference on Applied Cryptography and Network Security (ACNS 2011), Springer-Verlag, pp. 255–273, 2011
• M. Barni, T. Bianchi, D. Catalano, M. Di Raimondo, R. Donida Labati, P. Failla, D. Fiore, R. Lazzeretti, V. Piuri, F. Scotti, A. Piva, A Privacy-compliant Fingerprint Recognition System Based on Homomorphic Encryption and Fingercode Templates, 4th IEEE International Conference on Biometrics: Theory, Applications and Systems (BTAS 2010), IEEE Press, pp. 1–7, 2010
• M. Barni, T. Bianchi, D. Catalano, M. Di Raimondo, R. Donida Labati, P. Failla, D. Fiore, R. Lazzeretti, V. Piuri, F. Scotti, A. Piva, Privacy-Preserving Fingercode Authentication, 12th ACM Workshop on Multimedia and Security (MM&Sec 2010), ACM Press, pp. 231–240, 2010
• M. Di Raimondo, R. Gennaro, New Approaches for Deniable Authentication, Journal of Cryptology (JoC), Springer, volume 22, issue 4, pp. 572–615, 2009
• D. Catalano, M. Di Raimondo, D. Fiore, R. Gennaro, Off-Line/On-Line Signatures: Theoretical aspects and Experimental Results, 11th International Workshop on Practice and Theory in Public Key Cryptography (PKC 2008), Springer-Verlag, pp. 101–120, 2008
• M. Di Raimondo, R. Gennaro, H. Krawczyk, Deniable Authentication and Key Exchange, 13th ACM Conference on Computer and Communications Security (CCS 2006), ACM Press, pp. 400–409, 2006
• M. Di Raimondo, R.Gennaro, Provably Secure Threshold Password-Authenticated Key Exchange, Journal of Computer and System Sciences (JCSS), Academic Press, volume 72, issue 6, pp. 978–1001, 2006
• M. Di Raimondo, R. Gennaro, H. Krawczyk, Secure Off-the-Record Messaging, 2005 ACM Workshop on Privacy in the Electronic Society (WPES 2005), ACM Press, pp. 81–89, 2005
• M. Di Raimondo, R. Gennaro, New Approaches for Deniable Authentication, 12th ACM Conference on Computer and Communications Security (CCS 2005), ACM Press, pp. 112–121, 2005
• R. Gennaro, M. Di Raimondo, Secure Multiplication of Shared Secrets in the Exponent, Information Processing Letters (IPL), Elsevier, volume 96, issue 2, pp. 71–79, 2005
• M. Di Raimondo, R. Gennaro, Provably Secure Threshold Password-Authenticated Key Exchange, Eurocrypt 2003 – Lecture Notes in Computer Science volume 2656, Springer-Verlag, pp. 507–523, 2003

• Informatica - 2 anno
  CRYPTOGRAPHIC ENGINEERING
  
  
• Informatica - 2 anno
  SISTEMI OPERATIVI A - L
  
  
• Informatica - 2 anno
  SISTEMI OPERATIVI M - Z

L'attività di ricerca è incentrata sulla Crittografia e sulla sua applicazione nell'ambito della Sicurezza dei Sistemi Informatici.

Gli attuali interessi di ricerca vertono su tematiche quali:

• computazione sicura verificabile;
• cloud-computing;
• secure multi-party computation.

Membro del Comitato di Programma in alcune conferenze di carattere internazionale ed reviewer per svariate conferenze internazionali e riviste scientifiche del settore.

• Membro della Commissione sulla Terza Missione (Scuola e Territorio), dal 2016 ad oggi;
• Membro del Gruppo di Riesame, dal 2017 ad oggi;
• Membro della Commissione per l'Orientamento, dal 2013 al 2016.