The Complete Guide to SCION : From Design Principles to Formal Verification

by Chuat, Laurent, Legner, Markus, Basin, David, Hausheer, David
Published 2022

Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome,...

Published 2013

Applied Information Security : A Hands-on Approach

by Basin, David, Schaller, Patrick, Schläpfer, Michael
Published 2011

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

by Basin, David
Published 2004

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Published 2004

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Published 2003

Labelled Deduction

Published 2000

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003