Mohammad Torabi Dashti

33 papers A* 1A 7B 4C 1Misc 2Journal 7Unranked 10

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	A Theory of Black-Box Tests. CoRR Mohammad Torabi Dashti, David A. Basin
2017	—	`conf`	An Anti-pattern for Misuse Cases. CyberICPS/SECPRE@ESORICS Mohammad Torabi Dashti, Sasa Radomirovic
2017	J	`jnl`	Force Open: Lightweight black box file repair. Digit. Investig. Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti
2017	A	`conf`	Test execution checkpointing for web applications. ISSTA Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin
2017	B	`conf`	Tests and Refutation. ATVA Mohammad Torabi Dashti, David A. Basin
2016	A	`conf`	Access Control Synthesis for Physical Spaces. CSF Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2016	J	`jnl`	Access Control Synthesis for Physical Spaces. CoRR Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2016	—	`conf`	Security Testing Beyond Functional Tests. ESSoS Mohammad Torabi Dashti, David A. Basin
2015	—	`conf`	Derailing Attacks (Transcript of Discussion). Security Protocols Workshop Mohammad Torabi Dashti
2015	—	`conf`	Derailing Attacks. Security Protocols Workshop Sasa Radomirovic, Mohammad Torabi Dashti
2015	J	`jnl`	Scalable, privacy preserving radio-frequency identification protocol for the internet of things. Concurr. Comput. Pract. Exp. Mahdi Asadpour, Mohammad Torabi Dashti
2014	—	`conf`	Anchored LTL separation. CSL-LICS Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
2014	—	`conf`	Decentralized Composite Access Control. POST Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
2014	A*	`conf`	Fail-Secure Access Control. CCS Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
2014	J	`jnl`	LTL is closed under topological closure. Inf. Process. Lett. Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin
2014	Misc	`conf`	Model-Based Detection of CSRF. SEC Marco Rocchetto, Martín Ochoa, Mohammad Torabi Dashti
2013	A	`conf`	Semi-valid input coverage for fuzz testing. ISSTA Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2013	A	`conf`	VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
2012	—	`conf`	Analysis of Communicating Authorization Policies. STM Simone Frau, Mohammad Torabi Dashti
2012	J	`jnl`	Efficiency of optimistic fair exchange using trusted devices. ACM Trans. Auton. Adapt. Syst. Mohammad Torabi Dashti
2012	J	`jnl`	Extended beam search for non-exhaustive state space analysis. J. Log. Algebraic Methods Program. Anton Wijs, Mohammad Torabi Dashti
2012	—	`conf`	SECFUZZ: Fuzz-testing security protocols. AST@ICSE Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 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ò
2011	B	`conf`	A Privacy-Friendly RFID Protocol Using Reusable Anonymous Tickets. TrustCom Mahdi Asadpour, Mohammad Torabi Dashti
2011	Misc	`conf`	Complexity of fairness constraints for the Dolev-Yao attacker model. SAC Jan Cederquist, Mohammad Torabi Dashti
2011	B	`conf`	Constructing Mid-Points for Two-Party Asynchronous Protocols. OPODIS Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
2011	A	`conf`	Integrated Specification and Verification of Security Protocols and Policies. CSF Simone Frau, Mohammad Torabi Dashti
2011	—	`conf`	Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
2010	—	`ch.`	Fair Exchange. Handbook of Financial Cryptography and Security Mohammad Torabi Dashti, Sjouke Mauw
2010	—	`conf`	Partial Order Reduction for Branching Security Protocols. ACSD Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
2010	B	`conf`	Semi-linear Parikh Images of Regular Expressions via Reduction. MFCS Bahareh Badban, Mohammad Torabi Dashti
2009	A	`conf`	Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti
2009	C	`conf`	Optimistic Fair Exchange Using Trusted Devices. SSS Mohammad Torabi Dashti