David Basin profile picture

David Basin

Is this your author profile? Create an account to customize it!

Stand Alone

Applied Information Security
Labelled Deduction
Principles of Security and Trust
Modeling and Analyzing Security Protocols with Tamarin
Modeling and Analyzing Security Protocols with Tamarin A Comprehensive Guide
Labelled Deduction
Labelled Deduction
Wisec '09 : Second ACM Conference on Wireless Network Security
WiSec'09 Proceedings of the Second ACM Conference on Wireless Network Security : Zurich, Switzerland, March 16-18, 2009
FMSE'03 Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : Co-located with CCS'03
Labelled Deduction