| 2026 | PQCrypto | A Practical Framework for Lattice-Based Non-interactive Publicly Verifiable Secret Sharing. | Behzad Abdolmaleki, John A. Clark, Mohammad Foroutani, Shahram Khazaei, Sajjad Nasirzadeh |
| 2023 | HCI | Privacy Awareness Among Users of Digital Healthcare Services in Saudi Arabia. | Hebah A. Albatati, John A. Clark, Maysoon F. Abulkhair |
| 2022 | ICICS | Privacy-Aware Split Learning Based Energy Theft Detection for Smart Grids. | Arwa Alromih, John A. Clark, Prosanta Gope |
| 2021 | ICCCN | Grammatical Evolution for Detecting Cyberattacks in Internet of Things Environments. | Hasanen Alyasiri, John A. Clark, Ali Malik, Ruair de Frin |
| 2021 | TrustCom | Reinforcement-Learning-based IDS for 6LoWPAN. | Aryan Mohammadi Pasikhani, John A. Clark, Prosanta Gope |
| 2021 | SGAI | Bayesian Hyper-Parameter Optimization for Malware Detection. | Fahad T. AlGorain, John A. Clark |
| 2019 | GECCO | Optimising trotter-suzuki decompositions for quantum simulation using evolutionary strategies. | Benjamin D. M. Jones, David Robert White, George O. O'Brien, John A. Clark, Earl T. Campbell |
| 2019 | QRS | Efficient Evolutionary Fuzzing for Android Application Installation Process. | Veysel Hatas, Sevil Sen, John A. Clark |
| 2018 | GECCO | Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. | Komsan Srivisut, John A. Clark, Richard F. Paige |
| 2018 | IJCCI | Applying Cartesian Genetic Programming to Evolve Rules for Intrusion Detection System. | Hasanen Alyasiri, John A. Clark, Daniel Kudenko |
| 2017 | SecureComm | SAFEDroid: Using Structural Features for Detecting Android Malwares. | Sevil Sen, Ahmet Ilhan Aysan, John A. Clark |
| 2014 | GECCO | The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract. | Geoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark |
| 2014 | ICST | Probability-Based Semantic Interpretation of Mutants. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | APSEC | Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | GECCO | The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. | Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley |
| 2013 | ICSE | SE and AI: A two-way street. | John A. Clark |
| 2013 | ICSE | Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote). | Mark Harman, John A. Clark, Mel Cinnide |
| 2013 | ICST | Using Mutation Analysis to Evolve Subdomains for Random Testing. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2013 | SSBSE | Efficient Subdomains for Random Testing. | Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark |
| 2012 | ESEM | Dynamic adaptive search based software engineering. | Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao |
| 2012 | ICST | MESSI: Mutant Evaluation by Static Semantic Interpretation. | Matthew Patrick, Manuel Oriol, John A. Clark |
| 2012 | SSBSE | Searching for Pareto-optimal Randomised Algorithms. | Alan G. Millard, David Robert White, John A. Clark |
| 2011 | CHI | F for fake: four studies on how we fall for phish. | Mark Blythe, Helen Petrie, John A. Clark |
| 2011 | GECCO | Searching for invariants using genetic programming and mutation testing. | Sam Ratcliff, David Robert White, John A. Clark |
| 2011 | GECCO | Finding short counterexamples in promela models using estimation of distribution algorithms. | Jan Staunton, John A. Clark |
| 2011 | ICDAR | Segmentation and Normalisation in Grapheme Codebooks. | Tara Gilliam, Richard C. Wilson, John A. Clark |
| 2011 | ICST | A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. | Simon M. Poulding, John A. Clark, Hlne Waeselynck |
| 2011 | Networking | Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. | Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid |
| 2011 | SSBSE | Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. | Jan Staunton, John A. Clark |
| 2010 | EUROGP | Fine-Grained Timing Using Genetic Programming. | David Robert White, Juan E. Tapiador, Julio Csar Hernndez Castro, John A. Clark |
| 2010 | ICPR | Scribe Identification in Medieval English Manuscripts. | Tara Gilliam, Richard C. Wilson, John A. Clark |
| 2010 | ICST | Semantic Mutation Testing. | John A. Clark, Haitao Dan, Robert M. Hierons |
| 2010 | ICST | Searching for Safety Violations Using Estimation of Distribution Algorithms. | Jan Staunton, John A. Clark |
| 2010 | NSS | Information-Theoretic Detection of Masquerade Mimicry Attacks. | Juan E. Tapiador, John A. Clark |
| 2010 | SECRYPT | Risk based Access Control with Uncertain and Time-dependent Sensitivity. | John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget |
| 2009 | CEC | Comparing algorithms for search-based test data generation of Matlab Simulink models. | Kamran Ghani, John A. Clark, Yuan Zhan |
| 2009 | GECCO | Using automated search to generate test data for matlab. | Sion Ll Rhys, Simon M. Poulding, John A. Clark |
| 2009 | ICSEA | Automatic Test Data Generation for Multiple Condition and MCDC Coverage. | Kamran Ghani, John A. Clark |
| 2008 | GECCO | Searching for resource-efficient programs: low-power pseudorandom number generators. | David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding |
| 2008 | ICICS | Threat Modelling in User Performed Authentication. | Xun Dong, John A. Clark, Jeremy L. Jacob |
| 2008 | ICST | Strengthening Inferred Specifications using Search Based Testing. | Kamran Ghani, John A. Clark |
| 2008 | PRICAI | Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. | Sevil Sen, John A. Clark |
| 2007 | CEC | Heuristic search for non-linear cryptanalytic approximations. | Juan M. Estvez-Tapiador, Julio Csar Hernndez Castro, John A. Clark |
| 2006 | CaiSE | Deviational Analyses for Validating Regulations on Real Systems. | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark |
| 2006 | CEC | Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range. | John A. Clark, Susan Stepney |
| 2006 | GECCO | Human competitive security protocols synthesis. | Hao Chen, John A. Clark, Jeremy Jacob |
| 2006 | GECCO | The state problem for test generation in Simulink. | Yuan Zhan, John A. Clark |
| 2005 | GECCO | Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. | Paul Massey, John A. Clark, Susan Stepney |
| 2005 | GECCO | Search-based mutation testing for | Yuan Zhan, John A. Clark |
| 2004 | CEC | Searching for cost functions. | John A. Clark, Jeremy L. Jacob, Susan Stepney |
| 2004 | CEC | The design of s-boxes by simulated annealing. | John A. Clark, Jeremy L. Jacob, Susan Stepney |
| 2004 | FSE | Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. | Pantelimon Stanica, Subhamoy Maitra, John A. Clark |
| 2004 | GECCO | Evolving Quantum Circuits and Programs Through Genetic Programming. | Paul Massey, John A. Clark, Susan Stepney |
| 2004 | GECCO | Search Based Automatic Test-Data Generation at an Architectural Level. | Yuan Zhan, John A. Clark |
| 2003 | APSEC | Challenging Formal Specifications by Mutation: a CSP security example. | Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack |
| 2003 | CEC | Automated design of security protocols. | Hao Chen, John A. Clark, Jeremy L. Jacob |
| 2003 | CEC | Nature-inspired cryptography: past, present and future. | John A. Clark |
| 2003 | CEC | Almost Boolean functions: the design of Boolean functions by spectral inversion. | John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica |
| 2003 | CEC | Making the most of two heuristics: breaking transposition ciphers with ants. | Matthew D. Russell, John A. Clark, Susan Stepney |
| 2003 | GECCO | Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. | John A. Clark, Jeremy L. Jacob, Susan Stepney |
| 2003 | GECCO | Using Ants to Attack a Classical Cipher. | Matthew D. Russell, John A. Clark, Susan Stepney |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 2002 | EuroCrypt | Fault Injection and a Timing Channel on an Analysis Technique. | John A. Clark, Jeremy L. Jacob |
| 2002 | INDOCRYPT | Evolving Boolean Functions Satisfying Multiple Criteria. | John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan |
| 2000 | ACISP | Two-Stage Optimisation in the Design of Boolean Functions. | John A. Clark, Jeremy Jacob |
| 2000 | SP | Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. | John A. Clark, Jeremy L. Jacob |
| 1998 | ICFEM | Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine |
| 1998 | ISSTA | Automated Program Flaw Finding Using Simulated Annealing. | Nigel J. Tracey, John A. Clark, Keith Mander |