1. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)

Reports

2. Analysis of Communicating Authorization Policies

Frau, Simone and Torabi Dashti, Mohammad (2012)

Reports

3. In-depth fuzz testing of IKE implementations

Tsankov, Petar, Torabi Dashti, Mohammad and Basin, David A. (2011)

Reports

4. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)

Reports

5. Minimal message complexity of asynchronous multi-party contract signing

Mauw, Sjouke, Radomirović, Saša and Torabi Dashti, Mohammad (2009)

Reports

6. Optimistic fair exchange using trusted devices

Torabi Dashti, Mohammad (2009)

Reports

7. SECFUZZ: Fuzz-testing Security Protocols

Tsankov, Petar, Torabi Dashti, Mohammad and Basin, David A. (2012)

Conference Contributions