D
David Basin
10 works on record
Works

Applied Information Security

Labelled deduction

Labelled Deduction

Principles of Security and Trust

Rippling
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Automated Reasoning
Automated Reasoning
Complete Guide to SCION
Complete Guide to SCION
Proceedings of the Second ACM Conference on Wireless Network Security
Proceedings of the Second ACM Conference on Wireless Network Security
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56