Curriculum vitae - Dipartimento di Informatica "Sapienza"

CURRICULUM VITAE ET STUDIORUM
DOTT. ING. SIMONE TACCONI
DOTTORE DI RICERCA
INCARICHI ISTITUZIONALI ATTUALE

Dirigente pubblico
TITOLI DI STUDIO

Dottorato di Ricerca in Sistemi Artificiali Intelligenti, presso la Facoltà di Ingegneria
dell’Università Politecnica delle Marche. Titolo della Tesi di Dottorato: Automatic Verification
of Security in Cryptographic Protocols.

Laurea in Ingegneria Elettronica - indirizzo Informatica, presso la Facoltà di Ingegneria
dell’Università degli Studi di Ancona. Titolo della Tesi di Laurea: Verifica Formale dei
Protocolli di Sicurezza mediante Model Checking.
ABILITAZONI PROFESSIONALI

Abilitazione all’esercizio della professione di Ingegnere.
LINGUE STRANIERE

Buona conoscenza delle lingue inglese e francese.
PUBBLICAZIONI SCIENTIFICHE
o Capitoli in libri internazionali:
-
F. Marturana, S. Tacconi, G. F. Italiano Digital Forensic Triage based on Machine Learning,
nel libro Handbook of Digital Forensics of Multimedia Data and Devices, editore John Wiley &
Sons, Inc. - IEEE, ISBN 978-1-1186-4050-0, 2014.
-
F. Marturana, S. Tacconi, G. F. Italiano, A Forensic-as-a-Service Delivery Platform for Law
Enforcement Agencies, nel libro Cybercrime and Cloud Forensics: Applications for
Investigation Processes, editore IGI Global, ISBN 978-1-4666-2662-1, 2013.
Pagina 1 di 9
-
L. Spalazzi, S. Tacconi, Classification of Attacks on Cryptographic Protocols, nel libro
Handbook of Electronic Security and Digital Forensics, capitolo III°, pagine 47-82, editore
World Scientific, ISBN 978-981-283-703-5, 2010.
-
S. Tacconi Virus, Worm e Trojan Horse, nel Manuale Operativo del Seminario sulle Strategie e
Metodi di Prevenzione e Repressione dei Reati Informatici, pagine 64-65, programma AGIS,
Commissione Europea – Direzione Generale Giustizia e Affari Interni, anno 2003.
-
M. Strano, S. Tacconi, R. Bruzzone, Hacking Criminal Profiling: Il Progetto H.A.I.P.A., nel
Manuale Operativo del Seminario sulle Strategie e Metodi di Prevenzione e Repressione dei
Reati Informatici, pagine 82-90, programma AGIS, Commissione Europea – Direzione Generale
Giustizia e Affari Interni, anno 2003.
o Capitoli in libri nazionali:
-
S. Tacconi, F. Marturana, Il Digital Forensics nel Contesto del Cloud Computing, nel libro
IISFA Memberbook 2012 Digital Forensics, 7° capitolo, pagine 123-152 editore Esperta, ISBN:
978-8-8602-1290-0, anno 2013.
-
S. Tacconi, Introduzione alla Blackberry Forensics, nel libro IISFA Memberbook 2011 Digital
Forensics, 10° capitolo, pagine 347-377 editore Esperta, ISBN: 978-886-021-269-6, anno 2012.
-
S. Tacconi, Analisi Forense del Registro dei Sistemi Operativi Microsoft Windows, nel libro
IISFA Memberbook 2010 Digital Forensics, 5° capitolo, pagine 71-104, editore Esperta, ISBN:
978-886-021-234-4, anno 2011.
o Riviste internazionali:
-
F. Marturana, S. Tacconi, A Machine Learning based Triage Methodology for Automated
Categorization of Digital Media, nella rivista Digital Investigation, Special Issue: Triage in
Digital Forensics, volume 10, numero 2, pagine 193-204, Elsevier, ISSN 1742-2876, anno
2013.
-
M. Bernaschi, M. Bisson, E. Gabrielli, S. Tacconi, An Architecture for Distributed Dictionary
Attacks to Cryptosystem, nella rivista Journal of Computers, Special Issue on Security and High
Performance Computer Systems, editore Academy Publisher, anno 2009.
-
S. Decherchi, S. Tacconi, J. Redi, A. Leoncini, F. Sangiacomo R. Zunino, Text Clustering for
Digital Forensic Analysis (Extended Version), nella rivista Journal of Information Assurance
and Security (JIAS), volume 5, numero 4, pagine 384-391, editore Dynamic Publishers, 2010.
Pagina 2 di 9
o Riviste nazionali:
-
S. Tacconi, Cancellazione dei File e Recupero in Ambito Forense, anno II, n. 2, pagine 5-7,
giugno 2012.
-
S. Tacconi, Quali strategie di Analisi Adottare nell’Informatica Forense, nella rivista Sicurezza
e Giustizia, anno II, n. 1, pagine 44-45, marzo 2012.
-
S. Mariotti, S. Tacconi, Riflessioni sulle Problematiche Investigative e di Sicurezza Connesse
alle Problematiche VoIP, nella rivista Diritto dell’Internet, anno IV, n. 6, pagine 558-562,
editore IPSOA, dicembre 2008.
o Conferenze internazionali:
-
F. Marturana, S. Tacconi, Cloud Computing Implications to Digital Forensics: A New
Methodology Proposal, negli atti della conferenza Seventh International Workshop on
Systematic Approaches to Digital Forensic Engineering (SADFE 2012) - UNESCO - The
Memory of the World in the Digital Age: Digitization and Preservation Conference, anno 2012.
-
F. Marturana, G. Me, S. Tacconi, A case study on Digital Forensics in the Cloud, negli atti della
conferenza International Conference on Cyber-Enabled Distributed Computing and Knowledge
Discovery (CyberC 2012), anno 2012.
-
F. Marturana, R. Berté, S. Tacconi, G. Me, Triage-based Automated Analysis of Evidence in
Court Cases of Copyright Infringement, negli atti della conferenza internazionale First IEEE
International Workshop on Security and Forensics in Communication Systems (IEEE – SFCS
12), Ottawa (Canada), pagine 8249-8253, ISBN 978-1-4577-2052-9, anno 2012.
-
R. Bertè, F. Marturana, G. Me, S. Tacconi, Data Mining Based Crime-Dependent Triage in
Digital Forensics Analysis, negli atti della conferenza internazionale International Conference
on Affective Computing and Intelligent Interaction (ICACII 2012), Taipei (Taiwan), pubblicati
nel volume 10 della serie IERI Lecture Notes in Information Technology, pagine 101-106, ISBN
978‐1‐6127-5004‐0, anno 2012.
-
F. Marturana, R. Bertè, G. Me, S. Tacconi, A Quantitative Approach to Triaging in Mobile
Forensics, negli atti della conferenza internazionale IEEE International Conference on Trust,
Security and Privacy in Computing and Communications (IEEE TrustCom 2011), Changsha
(Cina), pagine 582-588, anno 2011.
Pagina 3 di 9
-
F. Marturana, G. Me, R. Bertè, S. Tacconi, Mobile Forensics Triaging: New Directions for
Methodology, negli atti della conferenza internazionale Italian Association for Information
Systems (ITAIS 2011), Roma, pubblicati nel volume dell’editore Springer, ISBN 978-88-6105063-1, anno 2011.
-
S. Decherchi, S. Tacconi, J. Redi, A. Leoncini, F. Sangiacomo R. Zunino, Text Clustering for
Digital Forensic Analysis, negli atti della conferenza internazionale Computational Intelligence
in Security for Information Systems (CISIS 2009), Burgos (Spagna), pubblicati nel volume n. 63
della serie Advances in Intelligent and Soft Computing (AISC), pagine 29-36, editore SpringerVerlag, ISBN: 978-3-642-04090-0, anno 2009.
-
M. Bernaschi, M. Bisson, E. Gabrielli, S. Tacconi, An Architecture for Distributed Dictionary
Attacks to OpenPGP Secret Keyrings, negli atti della conferenza internazionale European
Conference on Modelling and Simulation (ECMS 2007), IEEE Computer Society Technical
Committee on Parallel Processing (TCPP), Praga (Repubblica Ceca), pagine 735-741, ISBN:
978-0-9553018-2-7, anno 2007.
-
M. Panti, L. Spalazzi, S. Tacconi, F. Pagliarecci, Model Checking the Security of Multi-Protocol
Systems, negli atti della conferenza internazionale IEEE International Symposium on
Collaborative Technologies and Systems (IEEE-CTS ‘05), Saint Louis (USA), pagine 92-99,
ISBN: 0-7695-2387-0, anno 2005.
-
M. Benerecetti, M. Panti, L. Spalazzi, S. Tacconi, Verification of the SSL/TLS Protocol Using A
Model Checkable Logic of Belief and Time, negli atti della conferenza internazionale
International Conference on Computer Safety, Reliability and Security (SAFECOMP ‘02),
Catania, pubblicati nel volume n. 2434 della serie Lecture Notes in Computer Science Series
(LNCS), pagine 126-138, editore Springer, ISBN: 3-540-44157-3, anno 2002.
-
M. Benerecetti, M. Panti, L. Spalazzi, S. Tacconi, Verification of Payment Protocols via
MultiAgent Model Checking, negli atti della conferenza internazionale Conference on Advanced
Information Systems Engineering (CAiSE ‘02), Toronto (CANADA), pubblicati nel volume n.
2348 della serie Lecture Notes in Computer Science Series (LNCS), pagine 311-327, editore
Springer, ISBN 3-540-43738-X, anno 2002.
-
M. Panti, L. Spalazzi, S. Tacconi, S. Valenti, Automatic Verification of Security in Payment
Protocols for Electronic Commerce, negli atti della conferenza internazionale International
Conference On Enterprise Information Systems (ICEIS ‘02), Ciudad Real (Spagna), nel volume
Pagina 4 di 9
intitolato Enterprise Information Systems vol. IV, pagine 968-974, editore Kluwer, ISBN 978-14020-1086-6, anno 2002.
-
M. Panti, L. Spalazzi, S. Tacconi, Using the NuSMV Model Checker to Verify the Kerberos
Protocol, negli atti della conferenza internazionale Collaborative Technologies and Systems Western Multi-Conference (CTS - WMC ‘02), San Antonio (USA), pagine 230-236, anno 2002.
o Workshop internazionali:
-
M. Benerecetti, M. Panti, L. Spalazzi, S. Tacconi, A Logic of Belief and Time for Model
Checking the SSL/TLS Internet Protocol, nel Workshop on Model Checking and Artificial
Intelligence (ECAI ‘02), Lione (FRANCIA), anno 2002.
-
M. Panti, L. Spalazzi, S. Tacconi, Verification of Security Properties in Electronic Payment
Protocols, nell’ACM Workshop on Issues in the Theory of Security (WITS ’02 - ACM
SIGPLAN - IFIP WG 1.7, POPL ‘02), Portland, Oregon (USA), anno 2002.
o Conferenze nazionali:
-
M. Panti, L. Spalazzi, S. Tacconi, Verifica Formale dei Protocolli di Sicurezza mediante Model
Checking, negli atti della conferenza nazionale Sistemi Evoluti e Basi di Dati (SEBD '00),
L'Aquila, anno 2000.
ATTIVITA’ DI RELATORE IN CONFERENZE SCIENTIFICHE

Conferenza scientifica Attacchi e Vulnerabilità del Web, con intervento dal titolo Strategie di
Mitigazione della Crittografia nelle Investigazioni Digitali, Università degli Studi di Salerno –
Facoltà di Scienze Matematiche, Fisiche e Naturali – Dipartimento di Informatica, 17 ottobre
2011.

Conferenza scientifica IISFA 2010 – Cybersecurity, Computer Forensics & Digital
Investigation – Cybercop 2010 Challenge, con un intervento dal titolo La perquisizione
informatica alla luce della legge n. 48/2008: modalità tecnico-operative e best practices,
Palazzo di Giustizia di Milano, 7-8 maggio 2010.

Conferenza scientifica La Sicurezza ICT: Fattore Abilitante per i Nuovi Prodotti e Servizi con
un intervento dal titolo Modalità Tecnico-Operative della Sicurezza Informatica, Facoltà di
Ingegneria
dell’Università
di
Genova,
organizzata
FINMECCANICA ed ANSALDO STS, 06 novembre 2009.
Pagina 5 di 9
in
collaborazione
delle
Società

Conferenza scientifica IISFA 2009 – Technointelligence, Cybersecurity, Information Forensics,
Tecniche Criminali e Investigative a Confronto con un intervento dal titolo Analisi
Crittografiche nella Digital Forensics, Università di Bologna, 7-9 maggio 2009.
ATTIVITA’ DIDATTICA IN AMBITO UNIVERSITARIO

Seminario dal titolo Computer Forensics, svolto nell’ambito dell’insegnamento Diritto delle
Nuove Tecnologie, presso la Facoltà di Ingegneria dell’Università degli Studi di Roma La
Sapienza. Anno 2012.

Seminari dal titolo Principi, Metodi e Tecnologie per la Computer Forensics, svolti nell’ambito
dell’insegnamento Information Security I°, presso la Facoltà di Ingegneria dell’Università degli
Studi di Genova. Anno 2011-2012.

Seminario dal titolo dal titolo Introduzione all’Informatica Forense, svolto nell’ambito Master
di II° Livello in Criminologia e Diritto Penale – Analisi Criminale e Politica per la Sicurezza
Urbana dell’Università degli Studi di Napoli Federico II. Anno 2011.

Seminario dal titolo Introduzione alla Blackberry Forensics, svolto presso l’Università degli
Studi di Roma La Sapienza e organizzato dall’associazione IISFA. Anno 2011.

Seminario dal titolo dal titolo Analisi Forense del Registro di Windows e dei Punti di Ripristino,
svolto nell’ambito del corso di Diritto Penale dell’Informatica, presso la Facoltà di
Giurisprudenza della Libera Università Maria S.S. Assunta (LUMSA). Anno 2011.

Seminario dal titolo Strategie di Mitigazione della Crittografia nella Digital Forensics, svolto
nell’ambito dell’insegnamento Diritto delle Nuove Tecnologie, presso la Facoltà di Ingegneria
dell’Università degli Studi di Roma La Sapienza. Anno 2011.

Seminario dal titolo Strategie di Mitigazione della Crittografia nella Digital Forensics, svolto
nell’ambito dell’insegnamento Sicurezza dei Sistemi Informatici, presso la Facoltà di
Ingegneria dell’Università degli Studi di Roma Tor Vergata. Anno 2011.
Pagina 6 di 9

Seminario dal titolo Metodologie e Tecnologie per l’Informatica Forense, svolto nell’ambito
dell’insegnamento Information Security I°, presso la Facoltà di Ingegneria dell’Università degli
Studi di Genova. Anno 2010.

Seminario dal titolo Contrasto al crimine informatico – Registro e punti di ripristino Windows,
organizzato dall’associazione IISFA presso la Cassa Nazionale Forense di Roma. Anno 2010.

Seminario dal titolo dal titolo Introduzione all’Informatica Forense, svolto nell’ambito Master
di I° Livello in Security Languages, presso la Facoltà di Scienze della Formazione
dell’Università degli Studi di Perugia. Anno 2010.

Seminario dal titolo dal titolo Analisi Crittografiche nella Digital Forensics, svolto nell’ambito
del corso di Diritto Penale dell’Informatica, presso la Facoltà di Giurisprudenza della Libera
Università Maria S.S. Assunta (LUMSA). Anno 2010.

Seminario dal titolo dal titolo Introduzione all’Informatica Forense, svolto nell’ambito
dell’insegnamento Sistemi ed Algoritmi per la Protezione dei Dati, presso la Facoltà di
Ingegneria dell’Università degli Studi di Genova. Anno 2009.

Seminario dal titolo Analisi Crittografiche nella Digital Forensics, svolto nell’ambito
dell’insegnamento Sicurezza dei Sistemi Informatici, presso la Facoltà di Ingegneria
dell’Università degli Studi di Roma Tor Vergata. Anno 2009.

Seminario dal titolo Analisi Crittografiche nella Digital Forensics, svolto nell’ambito
dell’insegnamento Informatica Giuridica, presso la Facoltà di Ingegneria dell’Università degli
Studi di Roma La Sapienza. Anno 2009.

Seminario dal titolo Sicurezza e Prova Informatica svolto nell’ambito del Corso di
Aggiornamento Professionale sulla Computer Forensics, presso l’Università degli Studi di
Camerino. Anno 2009.

Seminario dal titolo Sicurezza e Prova Informatica svolto nell’ambito del Corso di
Aggiornamento Professionale sulla Computer Forensics, presso l’Università degli Studi di
Camerino. Anno 2008.
Pagina 7 di 9

Seminario dal titolo Introduzione all’Informatica Forense, svolto nell’ambito dell’insegnamento
Sistemi ed Algoritmi per la Protezione dei Dati, presso la Facoltà di Ingegneria dell’Università
degli Studi di Genova. Anno 2008.

Seminario dal titolo Analisi dei Sistemi Compromessi, svolto presso la Facoltà di Ingegneria
dell’Università Politecnica delle Marche. Anno 2007.

Seminario dal titolo Sicurezza e Prova Informatica svolto nell’ambito del Corso di
Aggiornamento Professionale sulla Computer Forensics, presso l’Università degli Studi di
Camerino. Anno 2007.

Seminario dal titolo Computer Forensics, svolto nell’ambito del Master di I° Livello in
Sicurezza Informatica e delle Telecomunicazioni, organizzato dall’Università degli Studi Roma
Tre presso la Direzione Corsi di Elettronica dello Stato Maggiore della Difesa. Anno 2006.

Seminario dal titolo Crimini Informatici svolto nell’ambito del Master di II° Livello in Teorie e
Metodi nell’Investigazione Criminale, presso l’Università degli Studi di Roma La Sapienza.
Anno 2006.

Seminario dal titolo Sicurezza e Prova Informatica svolto nell’ambito del Corso di
Aggiornamento Professionale sulla Computer Forensics, presso l’Università degli Studi di
Camerino. Anno 2006.

Docente del modulo Crittografia e Sicurezza delle Informazioni nell’ambito del Corso di
Aggiornamento Professionale in Computer Forensics presso l’Università di Camerino,
organizzato in collaborazione con la Polizia Postale e delle Comunicazioni. Anni 2006-2008.

Tutore didattico e membro delle commissioni d’esame per il corso di Basi di Dati e Sistemi
Informativi - Corsi di Laurea in Ingegneria Informatica e Ingegneria Elettronica presso la
Facoltà di Ingegneria dell’Università degli Studi di Ancona. Anni 2000-2003.

Relatore dei seminari sulla Sicurezza dei Sistemi Informatici organizzati presso la Facoltà di
Ingegneria dell’Università degli Studi di Ancona. Anni 2001-2003.
Pagina 8 di 9

Assistente universitario a contratto per il corso di Sistemi di Elaborazione dell’Informazione Corsi di Laurea in Ingegneria delle Telecomunicazioni e Ingegneria Informatica presso la
Facoltà di Ingegneria dell’Università di Ancona. Anno 2002.

Assistente universitario a contratto per il corso di Sistemi Operativi - Corsi di Laurea in
Ingegneria Informatica e Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria
dell’Università di Ancona. Anno 2001.
Pagina 9 di 9