Simone Tacconi

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Automated Analysis

Digital Forensics

Statistical Machine Learning

Top Venues

Digit. Investig.

Publications

Fabio Marturana, Simone Tacconi
A Machine Learning-based Triage methodology for automated categorization of digital media. Digit. Investig. 10 (2) (2013)
Fabio Marturana, Simone Tacconi, Rosamaria Berte, Gianluigi Me
Triage-based automated analysis of evidence in court cases of copyright infringement. ICC (2012)
Fabio Marturana, Gianluigi Me, Simone Tacconi
A Case Study on Digital Forensics in the Cloud. CyberC (2012)
Fabio Marturana, Gianluigi Me, Rosamaria Berte, Simone Tacconi
A Quantitative Approach to Triaging in Mobile Forensics. TrustCom (2011)
Massimo Bernaschi, Mauro Bisson, Emanuele Gabrielli, Simone Tacconi
An Architecture for Distributed Dictionary Attacks to Cryptosystems. J. Comput. 4 (5) (2009)
Sergio Decherchi, Simone Tacconi, Judith Redi, Alessio Leoncini, Fabio Sangiacomo, Rodolfo Zunino
Text Clustering for Digital Forensics Analysis. CISIS (2009)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci
Model checking the security of multi-protocol systems. CTS (2005)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. SAFECOMP (2002)
Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verifica formale dei protocolli di sicurezza mediante model checking. SEBD (2000)