Browse by Author

Authors (A-Z) Schaller, Patrick

2 Results for Schaller, Patrick

Subscribe to RSS feed for this result set

1. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

Schaller, Patrick, Schmidt, Benedikt, Basin, David A. and Capkun, Srdjan


Reports

2. Security protocols for wireless networks and their formal analysis

Schaller, Patrick (2010)


Doctoral and Habilitation Theses