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

Asadpour, Mahdi and Torabi Dashti, Muhammad (2011)

Reports

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

Torabi Dashti, Muhammad and Cederquist, Jam (2011)

Conference Contributions

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

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

Conference Contributions

4. Faulhaber's triangle

Torabi Dashti, Muhammad (2011)

Reports

5. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Muhammad (2011)

Reports

6. Pruning State Spaces With Extended Beam Search

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

Reports

7. Risk balance in optimistic non-repudiation protocols

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

Reports