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
Labelled Deduction