Verified Firewall Policy Transformations for Test Case Generation. - Achim D. Brucker; Lukas Brügger; Paul J. Kearney; Burkhart Wolff (ICST, 2010)

An approach to modular and testable security models of real-world health-care applications. - Achim D. Brucker; Lukas Brügger; Paul J. Kearney; Burkhart Wolff (SACMAT, 2011)

Security Design Patterns in the MASTER Workbench. - Paul J. Kearney; David A. Sinclair; Sebastian Wagner 001 (Cyberpatterns, 2014)

What's so Unique about Cyber Security? - Kenny Doyle; Zeta Dooly; Paul J. Kearney (CSP Forum, 2015)