A fuzzy automaton for control applications. - Muhammad Torabi Dashti (FUZZ-IEEE, 2004)

Formal Analysis of a Fair Payment Protocol. - Jan Cederquist; Muhammad Torabi Dashti (Formal Aspects in Security and Trust, 2004)

On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. - J. G. Cederquist; Ricardo Corin; Muhammad Torabi Dashti (ICICS, 2005)

An intruder model for verifying liveness in security protocols. - Jan Cederquist; Muhammad Torabi Dashti (FMSE, 2006)

A Framework for Automatically Checking Anonymity with mu CRL. - Tom Chothia; Simona Orzan; Jun Pang 001; Muhammad Torabi Dashti (TGC, 2006)

A Certified Email Protocol Using Key Chains. - Jan Cederquist; Muhammad Torabi Dashti; Sjouke Mauw (AINA Workshops (1), 2007)

Risk Balance in Exchange Protocols. - Muhammad Torabi Dashti; Yanjing Wang 001 (ASIAN, 2007)

Pruning State Spaces with Extended Beam Search. - Muhammad Torabi Dashti; Anton Wijs (ATVA, 2007)

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. - Muhammad Torabi Dashti; Srijith Krishnan Nair; Hugo L. Jonker (FSEN, 2007)

A Hybrid PKI-IBC Based Ephemerizer System. - Srijith Krishnan Nair; Muhammad Torabi Dashti; Bruno Crispo; Andrew S. Tanenbaum (SEC, 2007)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Keeping Secrets in Resource Aware Components. - Tom Chothia; Jun Pang 001; Muhammad Torabi Dashti (QAPL, 2007)

Distributed Partial Order Reduction for Security Protocols. - Muhammad Torabi Dashti; Anton Wijs; Bert Lisser (PDMC@CAV, 2007)

Fair Exchange Is Incomparable to Consensus. - Simona Orzan; Muhammad Torabi Dashti (ICTAC, 2008)

Data Failures. - Simona Orzan; Muhammad Torabi Dashti (DISC, 2008)

Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme. - Muhammad Torabi Dashti; Srijith Krishnan Nair; Hugo L. Jonker (Fundam. Informaticae, 2008)

Minimal Message Complexity of Asynchronous Multi-party Contract Signing. - Sjouke Mauw; Sasa Radomirovic; Mohammad Torabi Dashti (CSF, 2009)

Optimistic Fair Exchange Using Trusted Devices. - Mohammad Torabi Dashti (SSS, 2009)

Sums of powers via integration - Muhammad Torabi Dashti (CoRR, 2009)

Partial Order Reduction for Branching Security Protocols. - Wan J. Fokkink; Mohammad Torabi Dashti; Anton Wijs (ACSD, 2010)

Semi-linear Parikh Images of Regular Expressions via Reduction. - Bahareh Badban; Mohammad Torabi Dashti (MFCS, 2010)

Fair Exchange. - Mohammad Torabi Dashti; Sjouke Mauw (Handbook of Financial Cryptography and Security, 2010)

Integrated Specification and Verification of Security Protocols and Policies. - Simone Frau; Mohammad Torabi Dashti (CSF, 2011)

Risk Balance in Optimistic Non-repudiation Protocols. - Mohammad Torabi Dashti; Jan Cederquist; Yanjing Wang 001 (Formal Aspects in Security and Trust, 2011)

Constructing Mid-Points for Two-Party Asynchronous Protocols. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (OPODIS, 2011)

Complexity of fairness constraints for the Dolev-Yao attacker model. - Jan Cederquist; Mohammad Torabi Dashti (SAC, 2011)

A Privacy-Friendly RFID Protocol Using Reusable Anonymous Tickets. - Mahdi Asadpour; Mohammad Torabi Dashti (TrustCom, 2011)

SECFUZZ: Fuzz-testing security protocols. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (AST, 2012)

Analysis of Communicating Authorization Policies. - Simone Frau; Mohammad Torabi Dashti (STM, 2012)

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 Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)

Extended beam search for non-exhaustive state space analysis. - Anton Wijs; Mohammad Torabi Dashti (J. Log. Algebraic Methods Program., 2012)

Efficiency of optimistic fair exchange using trusted devices. - Mohammad Torabi Dashti (ACM Trans. Auton. Adapt. Syst., 2012)

VERA: A Flexible Model-Based Vulnerability Testing Tool. - Abian Blome; Martín Ochoa; Keqin Li 002; Michele Peroli; Mohammad Torabi Dashti (ICST, 2013)

Semi-valid input coverage for fuzz testing. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2013)

Fail-Secure Access Control. - Petar Tsankov; Srdjan Marinovic; Mohammad Torabi Dashti; David A. Basin (CCS, 2014)

Anchored LTL separation. - Grgur Petric Maretic; Mohammad Torabi Dashti; David A. Basin (CSL-LICS, 2014)

Decentralized Composite Access Control. - Petar Tsankov; Srdjan Marinovic; Mohammad Torabi Dashti; David A. Basin (POST, 2014)

Model-Based Detection of CSRF. - Marco Rocchetto; Martín Ochoa; Mohammad Torabi Dashti (SEC, 2014)

LTL is closed under topological closure. - Grgur Petric Maretic; Mohammad Torabi Dashti; David A. Basin (Inf. Process. Lett., 2014)

Derailing Attacks (Transcript of Discussion). - Mohammad Torabi Dashti (Security Protocols Workshop, 2015)

Derailing Attacks. - Sasa Radomirovic; Mohammad Torabi Dashti (Security Protocols Workshop, 2015)

Semantic Vacuity. - Grgur Petric Maretic; Muhammad Torabi Dashti; David A. Basin (TIME, 2015)

Scalable, privacy preserving radio-frequency identification protocol for the internet of things. - Mahdi Asadpour; Mohammad Torabi Dashti (Concurr. Comput. Pract. Exp., 2015)

Access Control Synthesis for Physical Spaces. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (CSF, 2016)

Security Testing Beyond Functional Tests. - Mohammad Torabi Dashti; David A. Basin (ESSoS, 2016)

Tests and Refutation. - Mohammad Torabi Dashti; David A. Basin (ATVA, 2017)

An Anti-pattern for Misuse Cases. - Mohammad Torabi Dashti; Sasa Radomirovic (CyberICPS/SECPRE@ESORICS, 2017)

Test execution checkpointing for web applications. - Marco Guarnieri; Petar Tsankov; Tristan Buchs; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2017)

Force Open: Lightweight black box file repair. - Karl Wüst; Petar Tsankov; Sasa Radomirovic; Mohammad Torabi Dashti (Digit. Investig., 2017)

A Theory of Black-Box Tests. - Mohammad Torabi Dashti; David A. Basin (CoRR, 2020)