Professor John Clark

School of Computer Science

Professor of Computer and Information Security

Director of Siemens Digital MINE

Head of the Security of Advanced Systems research group

John Clark profile photo
Profile picture of John Clark profile photo
john.clark@sheffield.ac.uk
Regent Court (DCS)

Full contact details

Professor John Clark
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

John Clark is a Professor of Computer and Information Security at the University of Sheffield since April 2017 and leads the Security of Advanced Systems Research Group. Previously he was Professor of Critical Systems at the University of York, having joined academia in 1992 as a Lecturer in Safety Critical Systems.

He studied Maths and then Applied Statistics at Oxford, before joining the security division of the software and systems house Logica (where he worked on security evaluation and security R&D).

Research interests

His major research interests lie in cybersecurity and software engineering, most notably the use of Artificial Intelligence to these areas. Publications have included work on: threat modelling, security policies, covert channel analysis, cryptographic building blocks, intrusion detection, insider detection, and automated synthesis of security protocols.

Current work addresses the automated discovery of classical cryptanalytic strategies, intrusion detection, and the search for quantum approaches to cryptanalysis via evolutionary computation.

He is particularly interested right now in building up research in the security of robotic and autonomous systems and in the security of advanced manufacturing systems.

Publications

Books

  • Clark JA, Paige RF, Polack FAC & Brooke PJ (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
  • Wright J, Stepney S, Clark JA & Jacob JL (2005) Formalizing anonymity: A review. Department of Computer Science, University of York.
  • Srivratanakul T, Clark JA & Polack F (2004) Writing Effective Security Abuse Cases. Department of Computer Science, University of York.
  • Srivratanakul T, Clark JA & Polack F (2004) Security Zonal Analysis. Department of Computer Science, University of York.
  • Zhan Y & Clark JA (2004) Automatic test-data generation for testing simulink models. Department of Computer Science, University of York.
  • Stepney S, Clark JA & Chivers H (2004) Breaking the Model: finalisation and a taxonomy of security attack. Department of Computer Science, University of York.
  • Hao C, Clark JA & Jacob JL (2004) A search-based approach to the automated design of security protocols.
  • Smith A, Clark JA & Burke EK (1997) Four methods for maintenance scheduling. Citeseer.
  • Clark JA & Jacob JL (1997) A survey of authentication protocol literature: Version 1.0. Citeseer.

Journal articles

  • Alattas E, Clark J, Al-Aama A & Jarraya SK (2025) . Journal of Imaging, 11(6).
  • Abdolmaleki B, Clark J, Foroutani M, Khazaei S & Nasirzadeh S (2025) A Generic Framework for Practical Lattice-Based Non-interactive Publicly Verifiable Secret Sharing.. IACR Cryptol. ePrint Arch., 2025, 901-901.
  • Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2024) AIDPS: Adaptive Intrusion Detection and Prevention System for Underwater Acoustic Sensor Networks.. IEEE/ACM Trans. Netw., 32, 1080-1095.
  • Patel C, Pasikhani A, Gope P & Clark J (2024) . Computers & Security, 140.
  • Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2024) . IEEE/ACM Transactions on Networking, 32(2), 1080-1095.
  • Pasikhan AM, Clark JA & Gope P (2023) . Computers & Security, 135.
  • ALGorain FT & Clark JA (2023) . Eng, 4(1), 543-554.
  • Alromih A, Clark JA & Gope P (2023) A Privacy-Preserving Energy Theft Detection Model for Effective Demand-Response Management in Smart Grids.. CoRR, abs/2303.13204.
  • Pasikhani AM, Clark JA & Gope P (2022) . IEEE Transactions on Information Forensics and Security, 17, 3831-3846.
  • ALGorain FT & Clark JA (2022) . Electronics, 11(10).
  • Czekster RM, Morisset C, Clark JA, Soudjani S, Patsios C & Davison P (2021) . SECURITY AND PRIVACY, 4(3).
  • Pasikhani AM, Clark JA, Gope P & Alshahrani A (2021) . IEEE Sensors Journal, 21(11), 12940-12968.
  • Clark J (2021) . Journal of European Competition Law & Practice, 12(2), 82-91.
  • Delgado-Perez P, Habli I, Gregory S, Alexander R, Clark J & Medina-Bulo I (2018) . IEEE Transactions on Reliability, 67(4), 1406-1419.
  • (2016) , 63-82.
  • Patrick M, Alexander R, Oriol M & Clark JA (2015) . Journal of Systems and Software, 103, 328-342.
  • Poulding S, Alexander R, Clark JA & Hadley MJ (2015) . Journal of Systems and Software, 103, 296-310.
  • Pérez MG, Tapiador JE, Clark JA, Pérez GM & Gómez AFS (2014) . Computer Networks, 58, 70-86.
  • Tapiador JE & Clark JA (2013) . Computers & Electrical Engineering, 39(7), 2306-2317.
  • Anand S, Burke EK, Chen TY, Clark J, Cohen MB, Grieskamp W, Harman M, Harrold MJ, McMinn P, Bertolino A , Jenny Li J et al (2013) . Journal of Systems and Software, 86(8), 1978-2001.
  • Chivers H, Clark J, Nobles P, Shaikh S & Chen H (2013) . Information Systems Frontiers, 15(1), 17-34.
  • Bechmann M, Clark J & Sebald A (2013) . Journal of Magnetic Resonance, 228, 66-75.
  • Briand L & Clark J (2013) . Information and Software Technology, 55(1), 111-111.
  • Sen S & Clark JA (2011) . Computer Networks, 55(15), 3441-3457.
  • White DR, Arcuri A & Clark JA (2011) . IEEE Transactions on Evolutionary Computation, 15(4), 515-538.
  • Tapiador JE, Hernandez-Castro JC, Peris-Lopez P & Clark JA (2011) Cryptanalysis of Song’s advanced smart card based password authentication protocol. Arxiv preprint arXiv:1111.2744.
  • Tapiador JE & Clark JA (2011) . Computers & Security, 30(5), 297-310.
  • Poulding S & Clark JA (2010) . IEEE Transactions on Software Engineering, 36(6), 763-777.
  • Dong X, Clark JA & Jacob JL (2010) . Telecommunication Systems, 45(2-3), 215-226.
  • Feldt R, Cohen M, Arcuri A, Baresel A & Clark JA (2010) SBST: 3rd International Workshop on Search-Based Software Testing. computer.org.
  • Chivers H, Clark JA & Cheng P-C (2009) . Computers & Security, 28(7), 521-535.
  • Tapiador JE, Hernandez-Castro JC, Clark JA & Stepney S (2009) . Journal of Physics A: Mathematical and Theoretical, 42(41), 415301-415301.
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2009) . Network Security, 2009(6), 12-16.
  • Åžen S & Clark JA (2009) , 427-454.
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(12), 11-15.
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(11), 12-16.
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(10), 8-11.
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(9), 10-12.
  • Stepney S & Clark JA (2008) . Journal of Computational and Theoretical Nanoscience, 5(5), 942-969.
  • Zhan Y & Clark JA (2008) . Journal of Systems and Software, 81(2), 262-285.
  • Stepney S & Clark JA (2008) Searching for quantum programs and quantum protocols: a review. Journal of Computational and Theoretical Nanoscience, 5, 942-969.
  • Dong X, Clark JA & Jacob JL (2008) A user-phishing interaction model. Conference on Human System Interaction.
  • Woodcock J, Stepney S, Cooper D, Clark J & Jacob J (2008) . Formal Aspects of Computing, 20(1), 5-19.
  • Stepney S, Braunstein SL, Clark JA, Tyrrell A, Adamatzky A, Smith RE, Addis T, Johnson C, Timmis J, Welch P , Milner R et al (2006) . International Journal of Parallel, Emergent and Distributed Systems, 21(2), 97-125.
  • Massey P, Clark JA & Stepney S (2006) Human-competitive evolution of quantum computing artefacts by genetic programming. Evolutionary Computation, 14, 21-40.
  • Clark JA, Jacob JL & Stepney S (2005) . New Generation Computing, 23, 219-231.
  • Srivratanakul T, Clark JA & Polack FAC (2005) Stressing Security Requirements: exploiting the Flaw Hypothesis Method with Deviational Techniques. Symposium on Requirements Engineering for Information Security (SREIS 2005).
  • Clark JA, Jacob JL & Stepney S (2005) . New Generation Computing, 23(3), 219-231.
  • Chivers H & Clark JA (2004) . Computer Networks, 46(5), 723-740.
  • Clark J, Harman M & Hierons R (2004) . Software Testing, Verification and Reliability, 14(3), 165-166.
  • Brooke PJ, Paige RF, Clark JA & Stepney S (2004) . ACM SIGCAS Computers and Society, 34(2), 3-3.
  • Hao C, Clark JA & Jacob JL (2004) . Computational Intelligence, 20(3), 503-516.
  • Clark JA, Jacob JL, Maitra S & Stănică P (2004) . Computational Intelligence, 20(3), 450-462.
  • Stephenson Z, Zhan Y & Clark JA (2004) Test Data Generation for Product Lines–A Mutation Testing Approach. SPLiT International Workshop on Software Product Line Testing.
  • Chivers H, Clark JA & Stepney S (2004) , 39-52.
  • Stănică P, Maitra S & Clark JA (2004) , 161-177.
  • Zhan Y & Clark J (2004) , 1413-1424.
  • Massey P, Clark JA & Stepney S (2004) , 569-580.
  • Clark JA, Jacob JL & Stepney S (2003) , 2022-2033.
  • Russell M, Clark JA & Stepney S (2003) , 146-147.
  • Clark JA, Dolado JJ, Harman M, Hierons RM, Jones BF, Lumkin M, Mitchell BS, Mancoridis S, Rees K, Roper M & Shepperd MJ (2003) Formulating software engineering as a search problem.. IEE Proc. Softw., 150, 161-175.
  • Clarke J, Dolado JJ, Harman M, Hierons R, Jones B, Lumkin M, Mitchell B, Mancoridis S, Rees K, Roper M & Shepperd M (2003) . IEE Proceedings - Software, 150(3), 161-161.
  • Stepney S, Clark JA, Johnson CG, Partridge D & Smith RE (2003) , 204-216.
  • Clark JA & Jacob JL (2002) , 181-196.
  • Clark JA & Jacob JL (2001) . Information and Software Technology, 43(14), 891-904.
  • Kim S, Clark JA & McDermid JA (2001) . Software Testing, Verification and Reliability, 11(4), 207-225.
  • Tracey N, Clark J, Mander K & McDermid J (2000) . Software: Practice and Experience, 30(1), 61-79.
  • Burton S, Clark J & McDermid JA (2000) Abstract Testing, Proof and Automation: An Integrated Approach. Citeseer.
  • Tracey N, Mander K, Clark JA & McDermid JA (1999) Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems. Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society..
  • Buttle DL, Clark JA, McDermid JA, Stephenson A & Tracey NJ (1999) CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software, 146, 130-136.
  • Clark JA (1998) . Software: Practice and Experience, 28(15), 1637-1637.
  • Tracey N, Clark J & Mander K (1998) . ACM SIGSOFT Software Engineering Notes, 23(2), 73-81.
  • Tracey N, Clark JA & Mander K (1998) The way forward for unifying dynamic test-case generation: The optimisation-based approach. Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA)..
  • Clark JA & Jacob JL (1996) Attacking authentication protocols. High Integrity Systems.
  • Clark J & Jacob J (1995) . Information Processing Letters, 56(3), 151-155.
  • Rowland L & Clark JA (1995) Automated intrusion detection: theory and practice. High Integrity Systems, 1(3), 313-322.
  • Clark J & Tindell K (1994) Satisfaction of PLC timing constraints. High Integrity Systems, 1(2), 221-224.
  • Clark JA, McDermid JA & Burns A (1994) . Computing & Control Engineering Journal, 5(1), 18-23.
  • Clark JA & Moffett J (1994) An introduction to security in distributed systems. High Integrity Systems.
  • Tindell K & Clark J (1994) . Microprocessing and Microprogramming, 40(2-3), 117-134.

Book chapters

  • Alshahrani A & Clark JA (2023) , Lecture Notes in Networks and Systems (pp. 514-535). Springer International Publishing
  • Albatati HA, Clark JA & Abulkhair MF (2023) , Lecture Notes in Computer Science (pp. 247-261). Springer Nature Switzerland
  • Alromih A, Clark JA & Gope P (2022) , Lecture Notes in Computer Science (pp. 281-300). Springer International Publishing
  • Czekster RM, Morisset C, Moorsel AV, Mace JC, Bassage WA & Clark JA (2022) , Green Energy and Technology (pp. 219-249). Springer International Publishing
  • Almohamade SS, Clark JA & Law J (2021) , Lecture Notes in Computer Science (pp. 185-197). Springer International Publishing
  • Almohamade SS, Clark JA & Law J (2021) , Lecture Notes in Computer Science (pp. 111-126). Springer International Publishing
  • (2016) , Security of Self-Organizing Networks (pp. 145-164). Auerbach Publications
  • El-Din RS, Cairns P & Clark J (2015) , Advances in Digital Crime, Forensics, and Cyber Terrorism (pp. 53-65). IGI Global
  • Patrick M, Alexander R, Oriol M & Clark JA (2013) (pp. 91-98). IEEE
  • Clark JA, Tapiador JE, McDermid JA, Cheng P-C, Agrawal D, Ivanic N & Slogget D (2010) Risk Based Access Control with Uncertain and Time-dependent Sensitivity In Katsikas S & Samarati P (Ed.), Proceedings of the 2010 International Conference on Security and Cryptography (pp. 1-9). SciTePress
  • Hernandez-Castro JC, Tapiadorz JE, Peris-Lopezy P, Clarkz JA & Talbix EG (2009)
  • Sen S, Clark JA, Tapiador JE, Zheng J, Mao S, Midkiff SF & Zhu H (2009) Power-Aware Intrusion Detection in Mobile Ad Hoc Networks, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers (pp. 224-239). Springer
  • Dong X, Clark JA & Jacob JL (2008) User Behaviour Based Phishing Websites Detection (pp. 728-735).
  • Dong X, Clark JA & Jacob J (2008) Modelling User-Phishing Interaction (pp. 633-638).
  • Sen S & Clark JA (2008) Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks In Ho TB & Zhou ZH (Ed.), PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE (pp. 1053-1058). SPRINGER-VERLAG BERLIN
  • Bechmann MW, Clark JA, Sebald AA-M & Stepney S (2007) Unentangling nuclear magnetic resonance computing, Unconventional Computing 2007 (pp. 1-18). Luniver Press
  • Srivatanakul T, Clark JA, Stepney S & Polack F (2003) (pp. 340-350).
  • Clark JA (2003) Invited paper. Nature-inspired cryptography: Past, present and future, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS (pp. 1647-1654). IEEE
  • Buttle DL, Clark JA, McDermid JA, Stephenson ZR & Henderson P (2002) CONVERSE: A Family Oriented Software Development Process for Engine Controllers, Systems Engineering for Business Process Change (pp. 38-73). Springer-verlag
  • Clark JA, Jacob JL, Stepney S, Maitra S & Millan W (2002) , Lecture Notes in Computer Science (pp. 246-259). Springer Berlin Heidelberg
  • Tracey N, Clark J, McDermid J & Mander K (2002) , Systems Engineering for Business Process Change: New Directions (pp. 174-213). Springer London
  • Kim S, Clark JA & McDermid JA (2001) , Mutation Testing for the New Century (pp. 4-4). Springer US
  • Burton S, Clark JA, Galloway A & McDermid JA (2000) Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach, Proceedings of the NASA Langley Formal Methods Workshop
  • Clark JA & Jacob JL () (pp. 82-95). IEEE Comput. Soc
  • Tracey N, Clark J, McDermid J & Mander K () Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification, Proceedings of 17th International System Safety Conference (pp. 128-137).
  • ()

Conference proceedings

  • Albatati HA, Abulkhair MF & Clark JA (2023) . 2023 1st International Conference on Advanced Innovations in Smart Cities (ICAISC) (pp 1-7), 23 January 2023 - 25 January 2023.
  • Alshahrani A & Clark JA (2022) . 2022 International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI) (pp 1-8), 17 October 2022 - 19 October 2022.
  • Pasikhani AM, Clark JA & Gope P (2022) . 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (pp 1049-1060). Shenyang, China, 20 October 2021 - 20 October 2021.
  • Alshahrani A & Clark JA (2022) . 2022 IEEE 25th International Conference on Computational Science and Engineering (CSE) (pp 81-89), 9 December 2022 - 11 December 2022.
  • Alqahtani AH & Clark JA (2022) . 2022 IEEE 4th International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications (TPS-ISA) (pp 188-197), 14 December 2022 - 17 December 2022.
  • Alromih A, Clark JA & Gope P (2021) . 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm). Aachen, Germany, 25 October 2021 - 25 October 2021.
  • Almohamade S, Clark J & Law J (2021) . Proceedings of the 16th International Conference on Availability, Reliability and Security (pp 1-9)
  • Alyasiri H, Clark JA, Malik A & Frein RD (2021) . 2021 International Conference on Computer Communications and Networks (ICCCN) (pp 1-6), 19 July 2021 - 22 July 2021.
  • O'Brien G & Clark JA (2021) . 2021 IEEE/ACM International Workshop on Genetic Improvement (GI) (pp 31-38), 30 May 2021 - 30 May 2021.
  • Jones BDM, White DR, O’Brien GO, Clark JA & Campbell ET (2019) . GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference (pp 1223-1231). Prague, Czech Republic, 13 July 2019 - 13 July 2019.
  • Hatas V, Sen S & Clark JA (2019) . 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) (pp 62-68), 22 July 2019 - 26 July 2019.
  • Alyasiri H, Clark JA & Kudenko D (2019) (pp 170-184)
  • Srivisut K, Clark JA & Paige RF (2018) . Proceedings of the Genetic and Evolutionary Computation Conference (pp 1451-1458)
  • Sen S, Aysan AI & Clark JA (2018) (pp 255-270)
  • Srivisut K, Clark JA & Paige RF (2018) (pp 794-809)
  • Alyasiri H, Clark J & Kudenko D (2018) . Proceedings of the 10th International Joint Conference on Computational Intelligence (pp 176-183), 18 September 2018 - 20 September 2018.
  • Neumann G, Swan J, Harman M & Clark JA (2014) . Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation (pp 1427-1430)
  • Huang Z, Alexander R & Clark JA (2014) . EMAS 2014. Lecture Notes in Computer Science, Vol. 8758 (pp 309-327). Cham, Switzerland, 5 May 2015 - 6 May 2014.
  • (2014)
  • Patrick M, Alexander R, Oriol M & Clark JA (2014) . 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (pp 186-195), 31 March 2014 - 4 April 2014.
  • Harman M, Clark J & Cinneidez MO (2013) . 2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM) (pp 1-6), 21 May 2013 - 21 May 2013.
  • Clark JA (2013) . 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) (pp 1-3), 25 May 2013 - 26 May 2013.
  • Patrick M, Alexander R, Oriol M & Clark JA (2013) (pp 251-256)
  • Patrick M, Alexander R, Oriol M & Clark JA (2013) . 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (pp 53-62), 18 March 2013 - 22 March 2013.
  • Poulding S, Alexander R, Clark JA & Hadley MJ (2013) . Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp 1477-1484)
  • Clark JA, Dan H & Hierons RM (2013) . Science of Computer Programming, Vol. 78(4) (pp 345-363)
  • McLaughlin J & Clark JA (2013) (pp 120-140)
  • Millard AG, White DR & Clark JA (2012) (pp 183-197)
  • Harman M, Burke E, Clark J & Yao X (2012) . Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement (pp 1-8)
  • Harman M, Langdon WB, Jia Y, White DR, Arcuri A & Clark JA (2012) . Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (pp 1-14)
  • Patrick M, Oriol M & Clark JA (2012) . 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (pp 711-719), 17 April 2012 - 21 April 2012.
  • HERNANDEZ-CASTRO JC, ESTEVEZ-TAPIADOR JM, PERIS-LOPEZ P, CLARK JA & TALBI E-G (2012) . International Journal of Foundations of Computer Science, Vol. 23(02) (pp 543-553)
  • Clark JA, Tapiador JE, McDermid J, Cheng P-C, Agrawal D, Ivanic N & Slogget D (2012) (pp 158-171)
  • Gilliam T, Wilson RC & Clark JA (2011) . 2011 International Conference on Document Analysis and Recognition (pp 613-617), 18 September 2011 - 21 September 2011.
  • Staunton J & Clark JA (2011) (pp 97-111)
  • Tapiador JE, Srivatsa M, Clark JA & McDermid JA (2011) (pp 207-218)
  • Poulding S, Clark JA & Waeselynck H (2011) . 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (pp 184-193), 21 March 2011 - 25 March 2011.
  • Ratcliff S, White DR & Clark JA (2011) . Proceedings of the 13th annual conference on Genetic and evolutionary computation (pp 1907-1914)
  • Staunton J & Clark JA (2011) . Proceedings of the 13th annual conference on Genetic and evolutionary computation (pp 1923-1930)
  • Blythe M, Petrie H & Clark JA (2011) . Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (pp 3469-3478)
  • Tapiador JE & Clark JA (2010) . 2010 Fourth International Conference on Network and System Security (pp 183-190), 1 September 2010 - 3 September 2010.
  • Åžen S, Clark JA & Tapiador JE (2010) (pp 224-239)
  • Clark JA, Tapiador JE, McDermid J, Cheng PC, Agrawal D, Ivanic N & Slogget D (2010) Risk based access control with uncertain and time-dependent sensitivity. Secrypt 2010 Proceedings of the International Conference on Security and Cryptography (pp 5-13)
  • Tapiador JE & Clark JA (2010) . 2010 10th IEEE International Conference on Computer and Information Technology (pp 902-909), 29 June 2010 - 1 July 2010.
  • Gilliam T, Wilson RC & Clark JA (2010) . 2010 20th International Conference on Pattern Recognition (pp 1880-1883), 23 August 2010 - 26 August 2010.
  • Clark JA, Dan H & Hierons RM (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (pp 100-109), 6 April 2010 - 10 April 2010.
  • Staunton J & Clark JA (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (pp 212-221), 6 April 2010 - 10 April 2010.
  • (2010) . 2nd International Symposium on Search Based Software Engineering (pp ix-ix), 7 September 2010 - 9 September 2010.
  • Chen H, Clark JA, Shaikh SA, Chivers H & Nobles P (2010) . 2010 International Conference on Availability, Reliability and Security (pp 315-320), 15 February 2010 - 18 February 2010.
  • White DR, Tapiador JME, Hernandez-Castro JC & Clark JA (2010) (pp 325-336)
  • Ghani K & Clark JA (2009) . 2009 Fourth International Conference on Software Engineering Advances (pp 152-157), 20 September 2009 - 25 September 2009.
  • Chivers H, Nobles P, Shaikh SA, Clark JA & Chen H (2009) Accumulating evidence of insider attacks. Ceur Workshop Proceedings, Vol. 469 (pp 34-50)
  • Chen H, Clark JA, Tapiador JE, Shaikh SA, Chivers H & Nobles P (2009) (pp 101-108)
  • Ghani K, Clark JA & Zhan Y (2009) . 2009 IEEE Congress on Evolutionary Computation (pp 2940-2947), 18 May 2009 - 21 May 2009.
  • Lim YT, Cheng P-C, Rohatgi P & Clark JA (2009) . Proceedings of the first ACM workshop on Information security governance (pp 39-48)
  • Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2009) (pp 250-259)
  • Harman M, Li Z, McMinn P, Offutt J & Clark J (2009) . Journal of Systems and Software, Vol. 82(11) (pp 1753-1754)
  • Ghani K & Clark JA (2009) . 2009 1st International Symposium on Search Based Software Engineering (pp 122-131), 13 May 2009 - 15 May 2009.
  • Rhys SL, Poulding S & Clark JA (2009) . Proceedings of the 11th Annual conference on Genetic and evolutionary computation (pp 1697-1704)
  • Hernandez-Castro JC, Tapiador JE, Peris-Lopez P, Clark JA & Talbi E-G (2009) . 2009 IEEE International Symposium on Parallel & Distributed Processing (pp 1-5), 23 May 2009 - 29 May 2009.
  • Åžen S & Clark JA (2009) . Proceedings of the second ACM conference on Wireless network security (pp 95-102)
  • Ghani K, Clark JA & Zhan Y (2009) Comparing algorithms for search-based test data generation of Matlab (pp 2940-2947)
  • Hernandez-Castro JC, Tapiador JE, Peris-Lopez P, Clark JA & Talbi E-G (2009) Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5 (pp 2265-+)
  • Xun Dong , Clark JA & Jacob JL (2008) . 2008 International Multiconference on Computer Science and Information Technology, 20 October 2008 - 22 October 2008.
  • Lim YT, Cheng PC, Clark JA & Rohatgi P (2008) (pp 71-80)
  • Arcuri A, White DR, Clark J & Yao X (2008) (pp 61-70)
  • Åžen S & Clark JA (2008) (pp 1053-1058)
  • Yow Tzu Lim , Pau Chen Cheng , Clark JA & Rohatgi P (2008) . 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence) (pp 1792-1800), 1 June 2008 - 6 June 2008.
  • Ghani K & Clark JA (2008) . 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp 187-194), 9 April 2008 - 11 April 2008.
  • Xun Dong , Clark JA & Jacob J (2008) . 2008 Conference on Human System Interactions (pp 627-632), 25 May 2008 - 27 May 2008.
  • White DR, Clark J, Jacob J & Poulding SM (2008) . Proceedings of the 10th annual conference on Genetic and evolutionary computation (pp 1775-1782)
  • Lim YT, Cheng PC, Rohatgi P & Clark JA (2008) . Proceedings of the 10th annual conference on Genetic and evolutionary computation (pp 1571-1578)
  • Rabaiotti JR, Chivers H & Clark JA (2008) Reputation Attacks in Mediated and Automated Systems
  • Lim YT, Cheng PC & Clark JA (2008) Policy evolution with genetic programming
  • Dong X, Clark JA & Jacob JL (2008) (pp 49-64)
  • Tapiador JME, Hernandez-Castro JC & Clark JA (2007) . 2007 IEEE Congress on Evolutionary Computation (pp 3561-3568), 25 September 2007 - 28 September 2007.
  • Poulding S, Emberson P, Bate I & Clark J (2007) . Proceedings of IEEE International Symposium on High Assurance Systems Engineering (pp 53-62)
  • Clark JA, Murdoch J, McDermid JA, Sen S, Chivers HR, Worthington O & Rohatgi P (2007) Threat Modelling for Mobile ad hoc and Sensor Networks
  • Murdoch J, Clark JA, McDermid JA, Chivers HR & Worthington O (2007) Aggregation of Information leaked by a MANET
  • Zhan Y & Clark JA (2006) . Proceedings of the 8th annual conference on Genetic and evolutionary computation (pp 1941-1948)
  • Chen H, Clark J & Jacob J (2006) . Proceedings of the 8th annual conference on Genetic and evolutionary computation (pp 1855-1856)
  • Clark JA, Paige RF, Polack F & Brooke PJ (2006) Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings
  • Polack F, Srivatanakul T, Kelly T & Clark J (2006) Deviational analyses for validating regulations on real systems. Ceur Workshop Proceedings, Vol. 241 (pp 813-817)
  • Massey P, Clark JA & Stepney S (2006) . Evolutionary Computation, Vol. 14(1) (pp 21-40)
  • Clark JA, Stepney S & Chivers H (2005) . Electronic Notes in Theoretical Computer Science, Vol. 137(2) (pp 225-242)
  • Massey P, Clark JA & Stepney S (2005) . Proceedings of the 7th annual conference on Genetic and evolutionary computation (pp 1657-1663)
  • Zhan Y & Clark JA (2005) . Proceedings of the 7th annual conference on Genetic and evolutionary computation (pp 1061-1068)
  • Hao C, Clark JA & Jacob JL (2005) . Electronic Notes in Theoretical Computer Science, Vol. 125(1) (pp 25-41)
  • Stepney S, Braunstein SL, Clark JA, Tyrrell A, Adamatzky A, Smith RE, Addis T, Johnson C, Timmis J, Welch P , Milner R et al (2005) . International Journal of Parallel, Emergent and Distributed Systems, Vol. 20(1) (pp 5-19)
  • Liu Y, Clark JA & Stepney S (2005) (pp 31-45)
  • Clark JA, Jacob JL & Stepney S (2004) The design of S-boxes by simulated annealing (pp 1533–1537-1533–1537)
  • Woody C, Hall A & Clark JA (2004) Can Secure Systems be Built Using Today’s Development Processes?
  • Harman M & Clark JA (2004) Metrics Are Fitness Functions Too (pp 58-69)
  • Caves L, Clark JA & Stepney S (2004) Acquiring a Debt Worth Repaying: why Evolutionary Computation should gain yet further inspiration from Biology
  • Srivatanakul T, Clark JA & Polack F (2004) (pp 416-427)
  • Chivers H, Clark JA, Stepney S, Hutter D, Müller G, Stephan W & Ullmann M (2003) Smart Devices and Software Agents: The Basics of Good Behaviour (pp 39-52)
  • Burton S, Clark JA & McDermid JA (2001) Automatic generation of tests from Statechart specifications
  • Clark JA & Jacob JL (2000) (pp 242-254)
  • Kim S-W, Clark JA & McDermid JA (2000) Investigating the Applicability of Traditional Test Adequacy Criteria for Object-Oriented Programs
  • Kim S-W, Clark JA & McDermid JA (2000) Class Mutation: Mutation Testing for Object-Oriented Programs
  • Kim S-W, Clark JA & McDermid JA (1999) The Rigorous Generation of Java Mutation Operators using HAZOP
  • Kim S, Clark JA & McDermid JA (1999) Assessing Test Set Adequacy for Object-Oriented Programs using Class Mutation (pp 72-83)
  • Tracey N, Stephenson A, Clark JA & McDermid JA (1999) A Safety Change Oriented Process for Safety-Critical Systems
  • Tracey N, Clark J & Mander K (1998) . Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis (pp 73-81)
  • Tapiador JME, Clark JA & Hernandez-Castro JC () (pp 99-117)
  • Clark JA & Stepney S () . 2006 IEEE International Conference on Evolutionary Computation (pp 200-206)
  • Harman M & Clark J () . 10th International Symposium on Software Metrics, 2004. Proceedings. (pp 58-69)
  • Clark JA, Jacob JL & Stepney S () . Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753) (pp 1517-1524)
  • Clark JA, Jacob JL & Stepney S () . Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753) (pp 1533-1537)
  • Srivatanakul T, Clark JA, Stepney S & Polack F () . Tenth Asia-Pacific Software Engineering Conference, 2003. (pp 340-350)
  • Russell MD, Clark JA & Stepney S () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03., Vol. 4 (pp 2653-2658)
  • Clark JA () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03., Vol. 3 (pp 1647-1654)
  • Clark JA, Jacob JL, Maitra S & Stanica P () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03., Vol. 3 (pp 2173-2180)
  • Han Chen , Clark JA & Jacob JL () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03., Vol. 3 (pp 2181-2188)
  • Bowen JP, Bogdanov K, Clark JA, Harman M, Hierons RM & Krause P () . Proceedings 26th Annual International Computer Software and Applications (pp 91-101)
  • McDermid J, Galloway A, Burton S, Clark J, Toyn I, Tracey N & Valentine S () . Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) (pp 76-88)
  • Tracey N, Clark J, Mander K & McDermid J () . Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) (pp 285-288)
  • Clark JA & Blythe M () The Phish in the Pond: scam emails as literature
  • Swan J, Adriaensen S, Bishr M, Burke EK, Clark JA, De Causmaecker P, Durillo J, Hammond K, Hart E, Johnson CG , Kocsis ZA et al () A Research Agenda for Metaheuristic Standardization (pp 1-3)

Theses

  • Clark JA (2002) Metaheuristic Search as a Cryptological Tool.

Other

  • Chen H, Fuller R & Clark JA () Demonstration software for IDS Sensor Placement.

Preprints

  • Parry O, Clark J & McMinn P (2024) , arXiv.
  • Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2023) , arXiv.
  • Alromih A, Clark JA & Gope P (2023) , arXiv.
  • Pasikhani AM, Clark JA & Gope P (2022) , arXiv.
  • Gleirscher M, Johnson N, Karachristou P, Calinescu R, Law J & Clark J (2020) , arXiv.
  • Bechmann M, Clark J & Sebald A (2013) , arXiv.
  • Tapiador JE, Hernandez-Castro JC, Peris-Lopez P & Clark JA (2011) , arXiv.
  • Tapiador JE, Hernandez-Castro JC, Clark JA & Stepney S (2009) , arXiv.
Grants
  • , EPSRC, 10/2021 - 05/2025, £774,954, as PI
  • , ISCF, 03/2020 - 09/2022, £9,324,024, as Co-PI
  • Studentship, EPSRC, 02/2019 - 02/2023, £150,304, as PI
  • , ISCF, 09/2018 - 05/2020, £35,947,247, as Co-PI
  • Pitch-In: Promoting the Internet of Things via Collaborations between HEIs & Industry, HEFCE, 04/2018 - 09/2021, £4,917,863, as PI
  • Cybersecurity and Al Skills Development, HEFCE, 02/2018 - 02/2019, £183,409, as PI
  • DAASE: , EPSRC, 06/2012 - 09/2019, £297,095, as PI
  • , EPSRC, 10/2009 - 09/2013, £136,252, as PI
  • , EPSRC, 10/2007 - 09/2011, £379,941, as Co-PI
  • , EPSRC, 09/2007 - 07/2010, £228,258, as PI
  • , EPSRC, 08/2006 - 01/2010, £189,277, as PI
  • SEBASE: , EPSRC, 06/2006 - 12/2011, £784,417, as PI
  • Formal Methods and Testing (FORTEST), EPSRC, 11/2001 - 04/2005, £63,158, as Co-PI
  • SEMINAL: Software Engineering with Metaheuristic Innovative ALgorithms, EPSRC, 06/2000 - 05/2002, £45,763, as Co-PI
  • SEMINAL: Software Engineering with Metaheuristic Innovative ALgorithms, EPSRC, 11/1999 - 06/2000, £51,112, as Co-PI
  • CONVERSE: A Change-oriented process for Engine Controllers, EPSRC, 10/1997 - 10/2000, £201,963, as Co-PI
  • Test Automation for Verification of non-functional properties, EPSRC, 01/1996 - 10/1997, £124,406, as Co-PI
  • Anaylis and design synthesis for real-time safety critical systems, EPSRC, 12/1994 - 03/1998, £151,005, as Co-PI
Professional activities and memberships

Professional activities and achievements

  • Member of the  research group
  • Awarded Royal Society Wolfson Research Merit Award in 2013.
  • ACM/IEEE Automated Software Engineering. Most influential 15 year (-/+1) paper: ASE 1998 - An Automated Framework for Structural Test-Data Generation - Nigel Tracey, John Clark, Keith Mander and John McDermid.
  • Winner of Silver Medal and $1000 (Human-Competitive Quantum Fourier Transform Algorithm Using Genetic Programming. Paul Massey, John A Clark and Susan Stepney, 2005) and Bronze Medal and $2000 (Genetic algorithms and solid state NMR pulse sequences. Matthias Bechmann, John Clark, Angelika Sebald, 2013) in GEECO’s Human Competitive Awards open competitions.
  • Awarded 9 best paper prizes since 2004.
  • External Examiner for 4 undergraduate programmes: King's College London, Sheffield, Brunel, and Imperial College London.
  • External Examiner for 4 postgraduate programmes: Newcastle, Open University, Dublin and University College London.

Administrative and Community Roles

  • Joins Sheffield in April 2017 as the group leader for new Security of Advanced Systems Research Group
  • Previously: Secretary and Chair of various Boards of Examiners, Head of Research, Sciences Rep on Senate, and Head of Department.
  • Regular reviewer, panellist, and panel chair for the EPSRC.

Links

Security of Advanced Systems research group