Simone Tacconi

According to our database, Simone Tacconi authored at least 11 papers between 2000 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

A Machine Learning-based Triage methodology for automated categorization of digital media.

Fabio Marturana, Simone Tacconi

Digit. Investig., 2013

2012

Triage-based automated analysis of evidence in court cases of copyright infringement.

Fabio Marturana, Simone Tacconi, Rosamaria Berte, Gianluigi Me

Proceedings of IEEE International Conference on Communications, 2012

A Case Study on Digital Forensics in the Cloud.

Fabio Marturana, Gianluigi Me, Simone Tacconi

Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011

A Quantitative Approach to Triaging in Mobile Forensics.

Fabio Marturana, Gianluigi Me, Rosamaria Berte, Simone Tacconi

Proceedings of the IEEE 10th International Conference on Trust, 2011

2009

An Architecture for Distributed Dictionary Attacks to Cryptosystems.

Massimo Bernaschi, Mauro Bisson, Emanuele Gabrielli, Simone Tacconi

J. Comput., 2009

Text Clustering for Digital Forensics Analysis.

Sergio Decherchi, Simone Tacconi, Judith Redi, Alessio Leoncini, Fabio Sangiacomo, Rodolfo Zunino

Proceedings of the Computational Intelligence in Security for Information Systems, 2009

2005

Model checking the security of multi-protocol systems.

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

2002

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Computer Safety, 2002

Automatic Verification of Security in Payment Protocols for Electronic Commerce.

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti

Proceedings of the ICEIS 2002, 2002

Verification of Payment Protocols via MultiAgent Model Checking.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2000

Verifica formale dei protocolli di sicurezza mediante model checking.

Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000