John A. Clark

Howard Chivers, John A. Clark, Philip Nobles, Siraj A. Shaikh, Hao Chen: Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise. Information Systems Frontiers 15(1): 17-34 (2013)

John A. Clark, Haitao Dan, Robert M. Hierons: Semantic mutation testing. Sci. Comput. Program. 78(4): 345-363 (2013)

James McLaughlin, John A. Clark: Using evolutionary computation to create vectorial Boolean functions with low differential uniformity and high nonlinearity. CoRR abs/1301.6972 (2013)

James McLaughlin, John A. Clark: Evolving balanced Boolean functions with optimal resistance to algebraic and fast algebraic attacks, maximal algebraic degree, and very high nonlinearity. IACR Cryptology ePrint Archive 2013: 11 (2013)

James McLaughlin, John A. Clark: Nonlinear cryptanalysis of reduced-round Serpent and metaheuristic search for S-box approximations. IACR Cryptology ePrint Archive 2013: 22 (2013)

James McLaughlin, John A. Clark: Filtered nonlinear cryptanalysis of reduced-round Serpent, and the Wrong-Key Randomization Hypothesis. IACR Cryptology ePrint Archive 2013: 89 (2013)

Julio César Hernández Castro, Juan M. Estévez-Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi: Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. Int. J. Found. Comput. Sci. 23(2): 543-553 (2012)

Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao: Dynamic adaptive search based software engineering. ESEM 2012: 1-8

Matthew Patrick, Manuel Oriol, John A. Clark: MESSI: Mutant Evaluation by Static Semantic Interpretation. ICST 2012: 711-719

Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark: The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). ASE 2012: 1-14

Alan G. Millard, David Robert White, John A. Clark: Searching for Pareto-optimal Randomised Algorithms. SSBSE 2012: 183-197

Sevil Sen, John A. Clark: Evolutionary computation techniques for intrusion detection in mobile ad hoc networks. Computer Networks 55(15): 3441-3457 (2011)

Juan E. Tapiador, John A. Clark: Masquerade mimicry attack detection: A randomised approach. Computers & Security 30(5): 297-310 (2011)

David Robert White, Andrea Arcuri, John A. Clark: Evolutionary Improvement of Programs. IEEE Trans. Evolutionary Computation 15(4): 515-538 (2011)

Mark Blythe, Helen Petrie, John A. Clark: F for fake: four studies on how we fall for phish. CHI 2011: 3469-3478

Sam Ratcliff, David Robert White, John A. Clark: Searching for invariants using genetic programming and mutation testing. GECCO 2011: 1907-1914

Jan Staunton, John A. Clark: Finding short counterexamples in promela models using estimation of distribution algorithms. GECCO 2011: 1923-1930

Tara Gilliam, Richard C. Wilson, John A. Clark: Segmentation and Normalisation in Grapheme Codebooks. ICDAR 2011: 613-617

Simon M. Poulding, John A. Clark, Hélène Waeselynck: A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. ICST Workshops 2011: 184-193

Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid: Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops 2011: 207-218

Jan Staunton, John A. Clark: Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. SSBSE 2011: 97-111

Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark: Cryptanalysis of Song's advanced smart card based password authentication protocol. CoRR abs/1111.2744 (2011)

Xun Dong, John A. Clark, Jeremy L. Jacob: Defending the weakest link: phishing websites detection by analysing user behaviours. Telecommunication Systems 45(2-3): 215-226 (2010)

Simon M. Poulding, John A. Clark: Efficient Software Verification: Statistical Testing Using Automated Search. IEEE Trans. Software Eng. 36(6): 763-777 (2010)

Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles: Optimising IDS Sensor Placement. ARES 2010: 315-320

Juan E. Tapiador, John A. Clark: Learning Autonomic Security Reconfiguration Policies. CIT 2010: 902-909

David Robert White, Juan E. Tapiador, Julio César Hernández Castro, John A. Clark: Fine-Grained Timing Using Genetic Programming. EuroGP 2010: 325-336

Tara Gilliam, Richard C. Wilson, John A. Clark: Scribe Identification in Medieval English Manuscripts. ICPR 2010: 1880-1883

John A. Clark, Haitao Dan, Robert M. Hierons: Semantic Mutation Testing. ICST Workshops 2010: 100-109

Jan Staunton, John A. Clark: Searching for Safety Violations Using Estimation of Distribution Algorithms. ICST Workshops 2010: 212-221

Juan E. Tapiador, John A. Clark: Information-Theoretic Detection of Masquerade Mimicry Attacks. NSS 2010: 183-190

John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget: Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT 2010: 5-13

Howard Chivers, John A. Clark, Pau-Chen Cheng: Risk profiles and distributed risk assessment. Computers & Security 28(7): 521-535 (2009)

Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark: TAIC PART 2007 and Mutation 2007 special issue editorial. Journal of Systems and Software 82(11): 1753-1754 (2009)

Sevil Sen, John A. Clark, Juan E. Tapiador: Power-Aware Intrusion Detection in Mobile Ad Hoc Networks. ADHOCNETS 2009: 224-239

Kamran Ghani, John A. Clark, Yuan Zhan: Comparing algorithms for search-based test data generation of Matlab® Simulink® models. IEEE Congress on Evolutionary Computation 2009: 2940-2947

Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers, Philip Nobles: A Multi-objective Optimisation Approach to IDS Sensor Placement. CISIS 2009: 101-108

Sion Ll Rhys, Simon M. Poulding, John A. Clark: Using automated search to generate test data for matlab. GECCO 2009: 1697-1704

Kamran Ghani, John A. Clark: Automatic Test Data Generation for Multiple Condition and MCDC Coverage. ICSEA 2009: 152-157

Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi: Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol. IPDPS 2009: 1-5

Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen: A Deployment Value Model for Intrusion Detection Sensors. ISA 2009: 250-259

Sevil Sen, John Andrew Clark: A grammatical evolution approach to intrusion detection on mobile ad hoc networks. WISEC 2009: 95-102

Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)

Yuan Zhan, John A. Clark: A search-based framework for automatic testing of MATLAB/Simulink models. Journal of Systems and Software 81(2): 262-285 (2008)

Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi: Policy evolution with Genetic Programming: A comparison of three approaches. IEEE Congress on Evolutionary Computation 2008: 1792-1800

Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark: MLS security policy evolution with genetic programming. GECCO 2008: 1571-1578

David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding: Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO 2008: 1775-1782

Xun Dong, John A. Clark, Jeremy L. Jacob: Threat Modelling in User Performed Authentication. ICICS 2008: 49-64

Kamran Ghani, John A. Clark: Strengthening Inferred Specifications using Search Based Testing. ICST Workshops 2008: 187-194

Xun Dong, John A. Clark, Jeremy L. Jacob: User behaviour based phishing websites detection. IMCSIT 2008: 783-790

Sevil Sen, John A. Clark: Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. PRICAI 2008: 1053-1058

Andrea Arcuri, David Robert White, John A. Clark, Xin Yao: Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. SEAL 2008: 61-70

Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi: Policy Evolution with Grammatical Evolution. SEAL 2008: 71-80

Juan M. Estévez-Tapiador, Julio César Hernández Castro, John A. Clark: Heuristic search for non-linear cryptanalytic approximations. IEEE Congress on Evolutionary Computation 2007: 3561-3568

Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark: An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62

Juan M. Estévez-Tapiador, John A. Clark, Julio César Hernández Castro: Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes. IMA Int. Conf. 2007: 99-117

John A. Clark, Juan E. Tapiador: Analysis of Local Optima in Block Ciphers. IACR Cryptology ePrint Archive 2007: 387 (2007)

Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)

Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation II: initial journeys and waypoints. IJPEDS 21(2): 97-125 (2006)

Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006

Hao Chen, John A. Clark, Jeremy Jacob: Human competitive security protocols synthesis. GECCO 2006: 1855-1856

Yuan Zhan, John A. Clark: The state problem for test generation in Simulink. GECCO 2006: 1941-1948

John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke (Eds.): Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, isbn 3-540-33376-2

Hao Chen, John A. Clark, Jeremy L. Jacob: Synthesising Efficient and Effective Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 25-41 (2005)

John A. Clark, Susan Stepney, Howard Chivers: Breaking the Model: Finalisation and a Taxonomy of Security Attacks. Electr. Notes Theor. Comput. Sci. 137(2): 225-242 (2005)

John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): 219-231 (2005)

Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge: Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 20(1): 5-19 (2005)

Yuan Zhan, John A. Clark: Search-based mutation testing for Simulink models. GECCO 2005: 1061-1068

Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663

Yang Liu, John A. Clark, Susan Stepney: "Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. SPC 2005: 31-45

John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica: Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence 20(3): 450-462 (2004)

Hao Chen, John A. Clark, Jeremy L. Jacob: Automated Design of Security Protocols. Computational Intelligence 20(3): 503-516 (2004)

Howard Chivers, John A. Clark: Smart dust, friend or foe?--Replacing identity with configuration trust. Computer Networks 46(5): 723-740 (2004)

John A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)

Pantelimon Stanica, Subhamoy Maitra, John A. Clark: Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. FSE 2004: 161-177

Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580

Yuan Zhan, John A. Clark: Search Based Automatic Test-Data Generation at an Architectural Level. GECCO (2) 2004: 1413-1424

Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427

Mark Harman, John A. Clark: Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69

John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. IEE Proceedings - Software 150(3): 161-175 (2003)

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-

Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147

John A. Clark, Jeremy L. Jacob, Susan Stepney: Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. GECCO 2003: 2022-2033

Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith: Artificial Immune Systems and the Grand Challenge for Non-classical Computation. ICARIS 2003: 204-216

Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52

Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104

John A. Clark, Jeremy L. Jacob: Fault Injection and a Timing Channel on an Analysis Technique. EUROCRYPT 2002: 181-196

John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259

John A. Clark, Jeremy L. Jacob: Protocols are programs too: the meta-heuristic search for security protocols. Information & Software Technology 43(14): 891-904 (2001)

Sun-Woo Kim, John A. Clark, John A. McDermid: Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test., Verif. Reliab. 11(3): 207-225 (2001)

Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)

John A. Clark, Jeremy Jacob: Two-Stage Optimisation in the Design of Boolean Functions. ACISP 2000: 242-254

John A. Clark, Jeremy L. Jacob: Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. IEEE Symposium on Security and Privacy 2000: 82-95

Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999)

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-

Nigel Tracey, John A. Clark, Keith Mander: Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81

Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288

John A. Clark, Jeremy Jacob: On the Security of Recent Protocols. Inf. Process. Lett. 56(3): 151-155 (1995)