1. A Privacy-friendly RFID Protocol using Reusable Anonymous Tickets

Asadpour, Mahdi und Torabi Dashti, Muhammad (2011)

Reports

2. Complexity of Fairness Constraints for the Dolev-Yao Attacker Model

Torabi Dashti, Muhammad und Cederquist, Jam (2011)

Tagungsbeiträge

3. Constructing Mid-points for Two-party Asynchronous Protocols

Tsankov, Petar, Torabi Dashti, Muhammad und Basin, David A. (2011)

Tagungsbeiträge

4. Faulhaber's triangle

Torabi Dashti, Muhammad (2011)

Reports

5. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone und Torabi Dashti, Muhammad (2011)

Reports

6. Pruning State Spaces With Extended Beam Search

Wijs, A.J. und Torabi Dashti, Muhammad (2011)

Reports

7. Risk balance in optimistic non-repudiation protocols

Torabi Dashti, Muhammad, Cederquist, J. und Wang, Y. (2011)

Reports