Muhammad Torabi Dashti

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Semantic Structures

Semantically Meaningful

Semantic Search

Top Venues

Publications

Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin
Semantic Vacuity. TIME (2015)
Muhammad Torabi Dashti
Sums of powers via integration CoRR (2009)
Simona Orzan, Muhammad Torabi Dashti
Data Failures. DISC (2008)
Simona Orzan, Muhammad Torabi Dashti
Fair Exchange Is Incomparable to Consensus. ICTAC (2008)
Muhammad Torabi Dashti, Anton Wijs, Bert Lisser
Distributed Partial Order Reduction for Security Protocols. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme. Fundam. Informaticae 89 (4) (2008)
Srijith Krishnan Nair, Muhammad Torabi Dashti, Bruno Crispo, Andrew S. Tanenbaum
A Hybrid PKI-IBC Based Ephemerizer System. SEC (2007)
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. FSEN (2007)
Muhammad Torabi Dashti, Yanjing Wang
Risk Balance in Exchange Protocols. ASIAN (2007)
Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw
A Certified Email Protocol Using Key Chains. AINA Workshops (1) (2007)
Tom Chothia, Jun Pang, Muhammad Torabi Dashti
Keeping Secrets in Resource Aware Components. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
CRL: A Compendium of Case Studies. TACAS (2007)
Muhammad Torabi Dashti, Anton Wijs
Pruning State Spaces with Extended Beam Search. ATVA (2007)
Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti
CRL. TGC (2006)
Jan Cederquist, Muhammad Torabi Dashti
An intruder model for verifying liveness in security protocols. FMSE (2006)
J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti
On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. ICICS (2005)
Muhammad Torabi Dashti
A fuzzy automaton for control applications. FUZZ-IEEE (2004)
Jan Cederquist, Muhammad Torabi Dashti
Formal Analysis of a Fair Payment Protocol. Formal Aspects in Security and Trust (2004)