The Complete Guide to SCION: From Design Principles to Formal Verification.
Springer Verlag, 2022. |
Applied Information Security --- A Hands-on Approach. Springer Verlag, 2011. |
Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56, June 2005. |
Second International Conference, Principles of Security and Trust. Springer, 2013. |
5th ACM Symposium on Information, Computer and Communications Security. ACM Press, 2010. |
Second ACM Conference on Wireless Network Security. ACM Press, 2009. |
ACM Workshop on Formal Methods
in Security Engineering. ACM Press, 2004. |
International Joint Conference on Automated Reasoning. Springer-Verlag LNCS, 2004. |
Theorem Proving in Higher Order Logics. Springer-Verlag LNCS, 2003. |
ACM Workshop on Formal Methods
in Security Engineering. ACM Press, 2003. |
Labelled Deduction. Kluwer Applied Logic Series, 2000 |