---
Efficiency of optimistic fair exchange using trusted devices
ACM Trans. Autonomous and Adaptive Systems. 7(1), 2012
SECFUZZ: Fuzz-testing security protocols
AST, 2012
with P. Tsankov and D. BasinThe AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
TACAS, 2012
with A. Armando, et al.Extended beam search for non-exhaustive state space analysis
J. Logic and Algebraic Programming. 81(1), 2012
with A. Wijs---
Constructing mid-points for two-party asynchronous protocols
OPODIS, 2011
with P. Tsankov and D. BasinA Privacy-friendly RFID protocol using reusable anonymous tickets
IEEE TrustCom, 2011
with M. AsadpourRisk balance in optimistic non-repudiation protocols
FAST, 2011
with J. Cederquist and Y. WangIntegrated specification and verification of security protocols and policies
CSF, 2011
with S. FrauFaulhaber's Triangle
The College Mathematics Journal, 2011
Complexity of fairness constraints for the Dolev-Yao attacker model
ACM SAC '11
with J. Cederquist---
Fair exchange
Handbook of Financial Cryptography and Security (Aug '10)
with S. MauwPartial order reduction for branching security protocols
ACSD '10
with W. Fokkink and A. Wijs---
Minimal message complexity of asynchronous multi-party contract signing
CSF '09
with S. Mauw and S. Radomirovic---
Nuovo DRM paradiso: Designing a secure, verified, fair exchange DRM scheme
Fundam. Inform. 89(4), 2008
with S. Nair and H. JonkerKeeping fairness alive: Design and formal verification of optimistic fair exchange protocols
PhD thesis, Vrije Univ Amsterdam, Feb 2008
---
Distributed partial order reduction for security protocols (tool paper)
PDMC 07
with A. Wijs and B. LisserKeeping secrets in resource aware components
QAPL 07
with T. Chothia and J. PangPartial order reduction for branching security protocols
WITS 07
with W. Fokkink and A. WijsA hybrid PKI-IBC based ephemerizer system
IFIP SEC 07
with S. Nair, B. Crispo and A. TanenbaumDistributed analysis with µCRL (tool paper)
TACAS 07
with S. Blom, J. Calame, B. Lisser, S. Orzan, J. Pang, J. van de Pol and A. Wijs---
A framework for automatically checking anonymity with µCRL
TGC 06
with T. Chothia, S. Orzan and J. Pang---
On the quest for impartiality: Design and analysis of a fair non-repudiation protocol
ICICS 05
with J. Cederquist and R. Corin---
A fuzzy automaton for control applications
IEEE conf. Fuzzy Systems 04
---
Formal verification of cryptographic protocols (in Persian)
MSc Thesis, Sharif University of Technology, Tehran, Nov 2003