Verifica formale dei protocolli di sicurezza mediante model checking. - Maurizio Panti; Luca Spalazzi; Simone Tacconi (SEBD, 2000)

Verification of Payment Protocols via MultiAgent Model Checking. - Massimo Benerecetti; Maurizio Panti; Luca Spalazzi; Simone Tacconi (CAiSE, 2002)

Automatic Verification of Security in Payment Protocols for Electronic Commerce. - Maurizio Panti; Luca Spalazzi; Simone Tacconi; Salvatore Valenti (ICEIS, 2002)

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. - Massimo Benerecetti; Maurizio Panti; Luca Spalazzi; Simone Tacconi (SAFECOMP, 2002)

Model checking the security of multi-protocol systems. - Maurizio Panti; Luca Spalazzi; Simone Tacconi; Francesco Pagliarecci (CTS, 2005)

Text Clustering for Digital Forensics Analysis. - Sergio Decherchi; Simone Tacconi; Judith Redi; Alessio Leoncini; Fabio Sangiacomo; Rodolfo Zunino (CISIS, 2009)

An Architecture for Distributed Dictionary Attacks to Cryptosystems. - Massimo Bernaschi; Mauro Bisson; Emanuele Gabrielli; Simone Tacconi (J. Comput., 2009)

A Quantitative Approach to Triaging in Mobile Forensics. - Fabio Marturana; Gianluigi Me; Rosamaria Berte; Simone Tacconi (TrustCom, 2011)

A Case Study on Digital Forensics in the Cloud. - Fabio Marturana; Gianluigi Me; Simone Tacconi (CyberC, 2012)

Triage-based automated analysis of evidence in court cases of copyright infringement. - Fabio Marturana; Simone Tacconi; Rosamaria Berte; Gianluigi Me (ICC, 2012)

A Machine Learning-based Triage methodology for automated categorization of digital media. - Fabio Marturana; Simone Tacconi (Digit. Investig., 2013)