David Basin

Rippling

2009

Labelled Deduction

2000

Applied Information Security

2013

Principles of Security and Trust

2013

Complete Guide to SCION

2023

Theorem Proving in Higher Order Logics

2003

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

2005

Proceedings of the Second ACM Conference on Wireless Network Security

2009

Automated Reasoning

2004