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

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

Tagungsbeiträge

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

Tsankov, Petar (2011)

Masterarbeiten

3. In-depth fuzz testing of IKE implementations

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

Reports

4. SECFUZZ: Fuzz-testing Security Protocols

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

Tagungsbeiträge