Mario DI RAIMONDO

Ricercatore di INFORMATICA [INF/01]
Ufficio: stanza 355 - Blocco I
Email: diraimondo@dmi.unict.it
Telefono: +39 095 7383038
Sito web: diraimondo.dmi.unict.it/
www.facebook.com/diraimondo.m
Orario di ricevimento: vedi calendario ricevimento su pagina personale



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 e Professore aggregato 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, dal 2009 ad oggi;
  • Docente di riferimento per il corso di Crypto Engineering (48 ore) della Laurea Magistrale in Informatica, dal 2016 ad oggi;
  • Docente associato per il corso di Blockchain e Cryptocurrencies (48 ore) della Laurea Magistrale in Informatica, dal 2020 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: 15/06/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 Giunta 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.
08/08/2022
Risultati Sistemi Operativi AL

Le prove di laboratorio per il Canale AL sono state valutate. Di seguito i risultati e le relative proposte di voto:

matricola;laboratorio;voto finale:
1000014948;30;30 e lode
1000020288;25;27
X81000678;ins;-
X81000228;ins;-
1000012468;25;23
1000016775;27;26
1000015577;26;26
X81000285;ins;-
1000014539;24;28
1000020222;27;30

E'

LEGGI TUTTO

15/07/2022
Risultati laboratorio di Blockchain & Cryptocurrencies

Le prove di laboratorio di B&C svolte ieri sono state valutate: e' possibile conoscere la propria valutazione scrivendo personalmente a me (MD) per email. Chi ha superato la prova può contattare il Prof. Catalano per concordare la data in cui sostenere l'orale o,  se si ha un voto ancora valido

LEGGI TUTTO

02/07/2022
Risultati scritti di Sistemi Operativi


Le prove scritte di teoria dell'appello del 1 Luglio sono state valutate. È possibile accedere alla propria valutazione tramite l'apposito modulo web
Gli orali si terranno di presenza nell'ufficio del rispettivo docente secondo i seguenti turni:

- Turni A-L:
  * Turno AL1 (martedì

LEGGI TUTTO

28/06/2022
Risultati prova di laboratorio per Blockchain & Cryptocurrencies

Le prove di laboratorio per il corso di B&C svolte venerdì 24 Giugno sono state valutate. Chi ha già superato le prove in itinere avrà direttamente una proposta di voto finale. Per conoscere la propria votazione è possibile contattare il Prof. Mario Di Raimondo (diraimondo@dmi.unict.it).

15/02/2022
[Sistemi Operativi] risultati (AGGIORNATO)

Le prove scritte di teoria sono state valutate. I risultati sono disponibili tramite l'apposito modulo web. Gli orali si svolgeranno secondo il seguente calendario:

  • A-L: turno unico mercoledì 16 Febbraio dalle ore 9:00; link
  • M-Z: turno unico mercoledì 16 Febbraio dalle ore 15:30; link

Il

LEGGI TUTTO

14/02/2022
[Crypto Engineering] 2a prova in itinere

La seconda prova in itinere è stata valutata; di seguito i risultati:

  • 1000027222: 24/30
  • 1000027061: 28/30
  • 1000025076: 21/30

 



 

 

 

14/01/2022
[Crypto Engineering] Risultati prove in itinere

Le prove in itinere sono state valutate; di seguito sono riportate le votazioni per matricola:

  • 1000027222: 27/30
  • 1000025076: 19/30
  • 1000027067: 27/30

Sarà possibile chiedere chiarimenti sulla valutazione fissando un ricevimento (al momento solo on-line) con il docente.

16/12/2021
[Sistemi Operativi] Risultati

Le prove di laboratorio del 10 Dicembre 2021 dell'appello di Sistemi 
Operativi sono state valutate per entrambi i moduli A-L & M-Z. Di 
seguito si riportano le valutazioni con relative proposte di voto:

CANALE  A-L
Matricola; voto Lab.; Proposta di voto
X81000631; 26; 24
1000002243;

LEGGI TUTTO

07/12/2021
[Sistemi Operativi] Risultati scritto

Le prove scritte sono state valutate: i risultati sono disponibili in forma privata attraverso il solito modulo web. Gli orali saranno svolti giovedì 9 Dicembre di presenza negli uffici dei rispettivi docenti secondo i seguenti turni:

  • turno AL-1 (ore 11:00): 1000001791, 1000001626, 1000004982
  • turno
LEGGI TUTTO

19/11/2021
[Crypto Engineering] lezioni della prossima settimana

La lezione di lunedì 22 Novembre si terrà unicamente on-line sulla piattaforma Teams. Inoltre, venerdì 26 Novembre dalle 11 alle 13, ci sarà una lezione di recupero, anche questa, unicamente on-line.
Si tratta di eccezioni: la lezione di mercoledì 24 e tutte quelle a seguire dalla settimana successiva

LEGGI TUTTO

04/10/2021
[Crypto Engineering] Inizio lezioni - rettifica

Come già comunicato, la prima lezione del corso di Cryptographic Engineering si terrà mercoledì 6 Ottobre alle ore 11. In via del tutto eccezionale e transitoriamente fino a nuova comunicazione, le lezioni del corso si terranno UNICAMENTE on-line sull'apposito Team (codice 69va22r).

27/09/2021
[Crypto Engineering] Inizio lezioni

Le lezioni di Cryptographic Engineering per la Magistrale di Informatica inizieranno mercoledì 6 Ottobre e seguiranno il calendario ufficiale (lunedì e mercoledì, 11-13, aula 36).

19/07/2021
Sistemi Operativi - risultati scritto

Le prove scritte di teoria del 2° appello sono state valutate. E' possibile accedere alla propria valutazione tramite il solito form web. Gli orali si terranno a partire da mercoledì 21 Luglio on-line su Teams secondo i seguenti turni:

  • turno A-L (unico): mercoledì 21 Luglio dalle ore 9 - link;
  • turno
LEGGI TUTTO

28/06/2021
[Sistemi Operativi A-L] Risultati scritto, turni orale

Le prove scritte per il canale A-L sono state valutate. Potete accedere alla vostra valutazione attraverso l'apposito form web impiegando il codice del compito. Chi volesse visionare il proprio compito lo potrà fare solo di persona. La prima data utile è quella di venerdì 2 Luglio durante la prova

LEGGI TUTTO

31/05/2021
Lezione di recupero per Sistemi Operativi (A-L)

Come concordato oggi a lezione, venerdì 4 Giugno alle ore 10 si terrà una lezione di recupero per il canale A-L. Questa lezione si terrà unicamente on-line su Teams.

21/05/2021
[Sistemi Operativi] Organizzazione prove d'esame

Per adattarsi ai continui cambiamenti che la pandemia ci impone, la commisione d'esame del corso di Sistemi Operativi (canali A-L e M-Z) ha deciso di revisionare l'organizzazione delle prove d'esame. I cambiamenti sono marginali e vertono per lo più sull'ordine con cui si devono sostenere le varie prove:

LEGGI TUTTO

26/04/2021
[Sistemi Operativi] Tutorial sulla Shell Linux

Nell'ambito del corso di Sistemi Operativi, giovedì 29 Aprile 2021 alle ore 15:00 si terrà on-line il "Tutorial sulla Shell Linux" di Davide Carnemolla. Si tratta di una introduzione opzionale per gli studenti del corso che hanno poca familiarità con la shell dei sistemi Unix. Ci sarà anche qualche

LEGGI TUTTO

23/03/2021
Appello straordinario per Sistemi Operativi del 29 Marzo

Viste le attuali restrizioni, relativamente all'appello in oggetto e a tutti i canali (A-L & M-Z), si comunica quanto segue:

  • non ci saranno scritti di teoria ma orali on-line "corti" o "lunghi" a secondo se, rispettivamente, si è già superato o meno lo scritto di teoria nei precedenti appelli;
LEGGI TUTTO

01/03/2021
Sistemi Operativi A-L: lezione di mercoledì 3 Marzo solo on-line

Siamo stati informati che mercoledì e giovedì l'aula 2 del DMI non sarà disponibile a causa di lavori di manutenzione. Come conseguenza la prima lezione di Sistemi Operativi (canale A-L) di mercoledì 3 Marzo sarà tenuta unicamente on-line: questo è da considerarsi un'eccezione e valido solo per

LEGGI TUTTO

07/12/2020
Sistemi Operativi - appello straordinario Dicembre 2020

L'appello straordinario di Sistemi Operativi del 9 Dicembre sarà gestito tramite colloqui orali di teoria e una prova pratica di laboratorio on-line.

I colloqui on-line saranno svolti sulla piattaforma Microsoft Teams secondo i seguenti turni:

  • Canale A-L

    • turno AL1, Mercoledì

LEGGI TUTTO

23/11/2020
[Sistemi Operativi] Appelli di Dicembre

I prossimi appelli straordinari di Dicembre per Sistemi Operativi saranno svolti, a meno di improbabili rilassamenti delle regole d'Ateneo, per certo con modalità on-line. Sarà possibile coprire sia la teoria (anche in assenza di scritti pregressi superati) che la parte di laboratorio con strumenti

LEGGI TUTTO

15/09/2020
Sistemi Operativi A-L: risultati laboratorio

Le prove scritte di laboratorio per il canale A-L sono state valutate; di seguito sono riportati i voti della prova e, limitatamente a chi ha superato tutte le prove necessarie, anche la proposta di voto finale.

Matricola

Laboratorio

Proposta di Voto

X81000919

insufficiente

X81000949

24

28

X81000451

26

30

LEGGI TUTTO

08/09/2020
Sistemi Operativi A-L & M-Z: risultati scritti

Le prove scritte di teoria per Sistemi Operativi di entrambi i canali (A-L & M-Z) sono state valutate. I risultati sono disponibili attraverso il solito form web e il proprio codice personale.

Gli orali on-line si svolgeranno secondo i seguenti turni:

  • turno A-L 1, mercoledì 9 Settembre,
LEGGI TUTTO

04/08/2020
Sistemi Operativi A-L: risultati prova scritta di laboratorio

Le prove scritte di laboratorio degli studenti A-L sono state valutate. Di seguito il voto della prova e, per chi ha già superato la teoria, la proposta di voto:

Matricola Laboratorio Proposta di Voto
X81001077 29 28
X81000051 24 25
X81001080 29 30
LEGGI TUTTO

22/07/2020
Sistemi Operativi A-L: risultati scritti

Le prove scritte di teoria di Sistemi Operativi per il canale A-L sono state valutate. E' possibile vedere i dettagli utilizzando l'apposito codice personale all'interno del solito modulo web. Chi è stato ammesso, e si era prenotato, potrà sostenere l'orale on-line nei seguenti turni:

  • turno 1: venerdì
LEGGI TUTTO