Mario DI RAIMONDO

Ricercatore di INFORMATICA [INF/01]
Ufficio: stanza 355 - Blocco I
Email: diraimondo@dmi.unict.it
Telefono: +39 095 7383038
Fax: +39 095 330094
Sito web: www.dmi.unict.it/diraimondo/
www.facebook.com/diraimondo.m
Orario di ricevimento: https://www.dmi.unict.it/diraimondo/web/teaching/ricevimento/



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.

Posizione Lavorativa

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

Formazione

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

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: 16/03/2020 )

  • D. Catalano, M. Di Raimondo, S. Faro, MonZa: Fast Maliciously Secure Two Party Computation on Z2k, 23rd International Workshop on Practice and Theory in Public Key Cryptography (PKC 2020), Springer-Verlag, 2020
  • D. Catalano, M. Di Raimondo, S. Faro, Verifiable Pattern Matching on Outsourced Texts (extended version),  Journal of Discrete Algorithms , volume 51, pp. 39–50, 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 resultsInternational 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-SecrecyInternational 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 ExchangeJournal 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 ExponentInformation Processing Letters (IPL), Elsevier, volume 96, issue 2, pp. 71–79, 2005
  • M. Di Raimondo, R. Gennaro, Provably Secure Threshold Password-Authenticated Key ExchangeEurocrypt 2003 – Lecture Notes in Computer Science volume 2656, Springer-Verlag, pp. 507–523, 2003
Anno accademico  

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 Giuta di Dipartimento, da Marzo 2020 ad oggi;
  • Membro del Gruppo Gestione AQ del CdS Magistrale in Informatica, dal 2017 ad oggi;
  • Membro della Commissione sulla Terza Missione (Scuola e Territorio), dal 2016 al 2019;
  • Membro della Commissione per l'Orientamento, dal 2013 al 2016.
03/06/2020
Sospensione lezioni

Si ricorda a tutti che, come preannunciato la settimana passata, la lezione on-line di oggi di Sistemi Operativi non si terrà. Le lezioni riprenderanno regolarmente a partire da lunedì 8 Giugno 2020.

29/05/2020
Appelli di Giugno e Luglio 2020 di Sistemi Operativi

La pagina con le indicazioni di massima sugli esami di Sistemi Operativi sotto emergenza COVID-19 è stata aggiornata: gli interessati sono pregati di leggerla con attenzione.

Sinteticamente:

  • finché non si rientrerà in Dipartimento le prove di laboratorio rimangono sospese; rimane la
LEGGI TUTTO

06/04/2020
Appello 8 Aprile per Sistemi Operativi - turni

I prenotati per l'appello dell'8 Aprile di Sistemi Operativi svolgeranno l'orale on-line nei seguenti turni:

  • turno 1 (8 Aprile dalle ore 10:30): X81/000137, X81/000051, X81/000505, M01/000362
  • turno 2 (8 Aprile dalle ore 15:30): X81/000326, X81/000474*, X81/000006
  • turno
LEGGI TUTTO

31/03/2020
Sistemi Operativi - colloqui online per appello del 1° Aprile

Chi si è prenotato per i colloqui on-line per l'appello di domani (fuori-corso) si dovrà collegare all'apposita riunione on-line a partire dalle ore 10:30 (ignorate l'orario delle ore 11:00 inserito dalla segreteria). Tutti gli orali previsti si svolgeranno in mattinata. Rivedete le istruzioni già comunicate.

LEGGI TUTTO

27/03/2020
Esami di Sistemi Operativi

Vista l'impossibilità di svolgere esami regolarmente sono previste delle modalità transitorie per gli appelli straordinari di Aprile 2020. Sinteticamente le novità sono le seguenti:

  • niente prova scritta, solo orali on-line sulla teoria;
  • prova pratica in laboratorio rimandata al futuro;
  • possibilità
LEGGI TUTTO

10/03/2020
Lezioni telematiche di Sistemi Operativi (A-L e M-Z)

In linea con le direttive del Corso di Laurea, le lezioni di Sistemi Operativi (canali A-L e M-Z) riprenderanno on-line sulla piattaforma Teams a partire da mercoledì 11 Marzo seguendo l'orario ufficiale (15-18). Gli studenti, se non lo hanno già fatto, devono unirsi al rispettivo canale utilizzando

LEGGI TUTTO

29/02/2020
Inizio lezioni di Sistemi Operativi (A-L e M-Z)

Le lezioni di Sistemi Operativi (sia A-L che M-Z) inizieranno regolarmente secondo l'orario prestabilito a partire da lunedì 2 Marzo alle ore 15, rispettivamente, in Aula 2 e Aula 24.