| 2009 | ||
|---|---|---|
| 3 | Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun: Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. CSF 2009: 109-123 | |
| 2 | David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs 2009: 1-22 | |
| 2007 | ||
| 1 | Patrick Schaller, Srdjan Capkun, David A. Basin: BAP: Broadcast Authentication Using Cryptographic Puzzles. ACNS 2007: 401-419 | |
| 1 | David A. Basin | [1] [2] [3] |
| 2 | Srdjan Capkun | [1] [2] [3] |
| 3 | Benedikt Schmidt | [2] [3] |