Mohammad Torabi Dashti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
14
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ATVA | Tests and Refutation. | Mohammad Torabi Dashti, David A. Basin |
| 2017 | ESORICS | An Anti-pattern for Misuse Cases. | Mohammad Torabi Dashti, Sasa Radomirovic |
| 2017 | ISSTA | Test execution checkpointing for web applications. | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2014 | CCS | Fail-Secure Access Control. | Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin |
| 2014 | CSL | Anchored LTL separation. | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
| 2014 | SEC | Model-Based Detection of CSRF. | Marco Rocchetto, Martn Ochoa, Mohammad Torabi Dashti |
| 2013 | ICST | VERA: A Flexible Model-Based Vulnerability Testing Tool. | Abian Blome, Martn Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti |
| 2013 | ISSTA | Semi-valid input coverage for fuzz testing. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2012 | ICSE | SECFUZZ: Fuzz-testing security protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | OPODIS | Constructing Mid-Points for Two-Party Asynchronous Protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2011 | SAC | Complexity of fairness constraints for the Dolev-Yao attacker model. | Jan Cederquist, Mohammad Torabi Dashti |
| 2011 | TrustCom | A Privacy-Friendly RFID Protocol Using Reusable Anonymous Tickets. | Mahdi Asadpour, Mohammad Torabi Dashti |
| 2010 | MFCS | Semi-linear Parikh Images of Regular Expressions via Reduction. | Bahareh Badban, Mohammad Torabi Dashti |
| 2009 | SSS | Optimistic Fair Exchange Using Trusted Devices. | Mohammad Torabi Dashti |