Mohammad Torabi Dashti

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 8

Top Topics

Privacy Preserving

Security Protocols

Linear Time Temporal Logic

Top Venues

Security Protocols Workshop

Publications

Mohammad Torabi Dashti, David A. Basin
A Theory of Black-Box Tests. CoRR (2020)
Mohammad Torabi Dashti, David A. Basin
Tests and Refutation. ATVA (2017)
Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti
Force Open: Lightweight black box file repair. Digit. Investig. (2017)
Mohammad Torabi Dashti, Sasa Radomirovic
An Anti-pattern for Misuse Cases. CyberICPS/SECPRE@ESORICS (2017)
Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin
Test execution checkpointing for web applications. ISSTA (2017)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Access Control Synthesis for Physical Spaces. CSF (2016)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Access Control Synthesis for Physical Spaces. CoRR (2016)
Mohammad Torabi Dashti, David A. Basin
Security Testing Beyond Functional Tests. ESSoS (2016)
Mahdi Asadpour, Mohammad Torabi Dashti
Scalable, privacy preserving radio-frequency identification protocol for the internet of things. Concurr. Comput. Pract. Exp. 27 (8) (2015)
Mohammad Torabi Dashti
Derailing Attacks (Transcript of Discussion). Security Protocols Workshop (2015)
Sasa Radomirovic, Mohammad Torabi Dashti
Derailing Attacks. Security Protocols Workshop (2015)
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
Decentralized Composite Access Control. POST (2014)
Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
Anchored LTL separation. CSL-LICS (2014)
Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti
Model-Based Detection of CSRF. SEC (2014)
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
Fail-Secure Access Control. CCS (2014)
Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
LTL is closed under topological closure. Inf. Process. Lett. 114 (8) (2014)
Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST (2013)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Semi-valid input coverage for fuzz testing. ISSTA (2013)
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
SECFUZZ: Fuzz-testing security protocols. AST (2012)
Anton Wijs, Mohammad Torabi Dashti
Extended beam search for non-exhaustive state space analysis. J. Log. Algebraic Methods Program. 81 (1) (2012)
Simone Frau, Mohammad Torabi Dashti
Analysis of Communicating Authorization Policies. STM (2012)
Mohammad Torabi Dashti
Efficiency of optimistic fair exchange using trusted devices. ACM Trans. Auton. Adapt. Syst. 7 (1) (2012)
Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust (2011)
Mahdi Asadpour, Mohammad Torabi Dashti
A Privacy-Friendly RFID Protocol Using Reusable Anonymous Tickets. TrustCom (2011)
Jan Cederquist, Mohammad Torabi Dashti
Complexity of fairness constraints for the Dolev-Yao attacker model. SAC (2011)
Simone Frau, Mohammad Torabi Dashti
Integrated Specification and Verification of Security Protocols and Policies. CSF (2011)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Constructing Mid-Points for Two-Party Asynchronous Protocols. OPODIS (2011)
Bahareh Badban, Mohammad Torabi Dashti
Semi-linear Parikh Images of Regular Expressions via Reduction. MFCS (2010)
Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
Partial Order Reduction for Branching Security Protocols. ACSD (2010)
Mohammad Torabi Dashti
Optimistic Fair Exchange Using Trusted Devices. SSS (2009)
Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti
Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF (2009)