Muhammad Torabi Dashti

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