Browse by Author

Authors (A-Z) Tsankov, Petar

4 Results for Tsankov, Petar

Subscribe to RSS feed for this result set

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

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


Conference Contributions

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

Tsankov, Petar (2011)


Master Theses

3. In-depth fuzz testing of IKE implementations

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


Reports

4. SECFUZZ: Fuzz-testing Security Protocols

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


Conference Contributions