Simone Tacconi

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