| 2022 | SIN | Towards Comparative Evaluation of DDoS Defences. | Andikan Otung, Andrew P. Martin |
| 2020 | ICISSP | Distributed Defence of Service (DiDoS): A Network-layer Reputation-based DDoS Mitigation Architecture. | Andikan Otung, Andrew P. Martin |
| 2016 | HCI | Towards a Usable Framework for Modelling Security and Privacy Risks in the Smart Home. | Jason R. C. Nurse, Ahmad Atamli, Andrew P. Martin |
| 2016 | Middleware | Analysis of Trusted Execution Environment usage in Samsung KNOX. | Ahmad Atamli-Reineh, Ravishankar Borgaonkar, Ranjbar A. Balisane, Giuseppe Petracca, Andrew P. Martin |
| 2015 | ICSE | Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. | Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen |
| 2015 | SecureComm | Securing Application with Software Partitioning: A Case Study Using SGX. | Ahmad Atamli-Reineh, Andrew P. Martin |
| 2015 | UCC | On the Feasibility of an Open-Implementation Cloud Infrastructure: A Game Theoretic Analysis. | Charles A. Kamhoua, Anbang Ruan, Andrew P. Martin, Kevin A. Kwiat |
| 2014 | FM | TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. | Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin |
| 2012 | DAIS | On the Design and Development of webinos: A Distributed Mobile Application Middleware. | John Lyle, Shamal Faily, Ivan Flechais, Andr Paul, Ayse Gker, Hans I. Myrhaug, Heiko Desruelle, Andrew P. Martin |
| 2012 | SERVICES | TMR: Towards a Trusted MapReduce Infrastructure. | Anbang Ruan, Andrew P. Martin |
| 2011 | CCS | Achieving attestation with less effort: an indirect and configurable approach to integrity reporting. | Jun Ho Huh, Hyoungshick Kim, John Lyle, Andrew P. Martin |
| 2011 | CCS | RepCloud: achieving fine-grained cloud TCB attestation with reputation systems. | Anbang Ruan, Andrew P. Martin |
| 2011 | CloudCom | myTrustedCloud: Trusted Cloud Infrastructure for Security-critical Computation and Data Managment. | David Wallom, Matteo Turilli, Andrew P. Martin, Anbang Ruan, Gareth A. Taylor, Nigel Hargreaves, Alan McMoran |
| 2011 | TrustCom | Secure Virtual Layer Management in Clouds. | Imad M. Abbadi, Muntaha Alawneh, Andrew P. Martin |
| 2010 | EUC | Formal Trust Specification in Service Workflows. | Wattana Viriyasitavat, Andrew P. Martin |
| 2009 | ISPA | Towards a Trustable Virtual Organisation. | Jun Ho Huh, Andrew P. Martin |
| 2006 | CCGRID | Towards a Secure, Tamper-Proof Grid Platform. | Andrew Cooper, Andrew P. Martin |
| 2004 | WETICE | Security Principles for Public-Resource Modeling Research. | Dave Stainforth, Andrew P. Martin, Andrew Simpson, Carl Christensen, Jamie Kettleborough, Tolu Aina, Myles Allen |
| 2003 | APSEC | Generalising the Z Schema Calculus: Database Schemas and Beyond. | Andrew P. Martin, Andrew Simpson |
| 2003 | ICSE | On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. | Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
| 2002 | APSEC | e-Science Experiences: Software Engineering Practice and the EU DataGrid. | Lee Momtahan, Andrew P. Martin |
| 1999 | FM | Relating Z and First-Order Logic. | Andrew P. Martin |
| 1998 | MPC | A Set-Theoretic Model for Real-Time Specification and Reasoning. | Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst |
| 1993 | FM | Encoding W: A Logic for Z in 2OBJ. | Andrew P. Martin |