Simone Tacconi

According to our database1, Simone Tacconi
  • authored at least 11 papers between 2000 and 2013.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A Machine Learning-based Triage methodology for automated categorization of digital media.
Digital Investigation, 2013

2012
Triage-based automated analysis of evidence in court cases of copyright infringement.
Proceedings of IEEE International Conference on Communications, 2012

A Case Study on Digital Forensics in the Cloud.
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011
A Quantitative Approach to Triaging in Mobile Forensics.
Proceedings of the IEEE 10th International Conference on Trust, 2011

2009
An Architecture for Distributed Dictionary Attacks to Cryptosystems.
JCP, 2009

Text Clustering for Digital Forensics Analysis.
Proceedings of the Computational Intelligence in Security for Information Systems, 2009

2005
Model checking the security of multi-protocol systems.
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.
Proceedings of the Computer Safety, 2002

Automatic Verification of Security in Payment Protocols for Electronic Commerce.
Proceedings of the ICEIS 2002, 2002

Verification of Payment Protocols via MultiAgent Model Checking.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2000
Verifica formale dei protocolli di sicurezza mediante model checking.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000


  Loading...