Simone Tacconi
According to our database1,
Simone Tacconi
authored at least 11 papers
between 2000 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
A Machine Learning-based Triage methodology for automated categorization of digital media.
Digit. Investig., 2013
2012
Triage-based automated analysis of evidence in court cases of copyright infringement.
Proceedings of IEEE International Conference on Communications, 2012
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012
2011
Proceedings of the IEEE 10th International Conference on Trust, 2011
2009
J. Comput., 2009
Proceedings of the Computational Intelligence in Security for Information Systems, 2009
2005
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
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