Simone Tacconi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TrustCom | A Quantitative Approach to Triaging in Mobile Forensics. | Fabio Marturana, Gianluigi Me, Rosamaria Berte, Simone Tacconi |
| 2002 | CaiSE | Verification of Payment Protocols via MultiAgent Model Checking. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2002 | SAFECOMP | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |