JET > Publications

Publications

In preparation | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003


In preparation (generally work in progress or submitted)

  1. Information-Theoretic Detection of Mimicry Masquerade Attacks
    J.E. Tapiador, J.A. Clark
     
  2. Interception Attacks and Routing Countermeasures in Complex Networks
    J.E. Tapiador, J.A. Clark, D. Agrawal
     
  3. Mission-Specific Policy Discovery
    Y.T. Lim, J.A. Clark, P.-C. Cheng, J.E. Tapiador
     
  4. Shedding Some Light on RFID Distance Bounding Protocols and Terrorist Attacks
    P. Peris, J.C. Hernandez-Castro, J.E. Tapiador, Jan C. A. van der Lubbe
    (Preprint CoRR abs/0906.4618)
     

2010

Book chapters

  1. Security Threats in Mobile Ad Hoc Networks
    S. Şen, J.A. Clark, J.E. Tapiador
    In Security of Self-Organizing Networks: MANET, WSN, WMN, VANET.
    Auerbach Publications (CRC Press), 2010.
     

Refereed conference papers

  1. Learning Autonomic Security Reconfiguration Policies
    J.E. Tapiador, J.A. Clark
    IEEE TSP 2010, To appear.
     
  2. Risk Based Access Control with Uncertain and Time-dependent Sensitivity
    J.A. Clark, J.E. Tapiador, J. McDermid, P.-C. Cheng, D. Agrawal, N. Ivanic, D. Sloggett
    SECRYPT 2010, To appear.
     
  3. Fine-Grained Timing using Genetic Programming
    D.R. White, J.E. Tapiador, J.C. Hernandez-Castro, J.A. Clark
    EuroGP 2010, LNCS 6021:325-336. Springer-Verlag. [doi]
     

2009

Book chapters

  1. Attacking RFID Systems
    P. Peris, J.C. Hernandez-Castro, J.M.E. Tapiador, A. Ribagorda
    In Security in RFID and Sensor Networks. Chapter 2, pp. 29-48.
    Auerbach Publications (CRC Press), 2009.
     
  2. Game Theory and Cooperation Analysis
    A. Alcaide, J.M.E. Tapiador, J.C. Hernandez-Castro, A. Ribagorda
    In Cooperative Wireless Communication. Chapter 9, pp. 191-208.
    Auerbach Publications (CRC Press), 2009.
     

Journal papers

  1. Highly Entangled Multi-qubit States with Simple Algebraic Structure
    J.E. Tapiador, J.C. Hernandez-Castro, J.A. Clark, S. Stepney
    J. Phys. A: Math. Theor. 42 (2009) 415301 (Preprint quant-ph/0904.3874) [doi]
     

Refereed conference papers

  1. Weaknesses in Two Recent Lightweight RFID Authentication Protocols
    P. Peris, J.C. Hernandez-Castro, J.E. Tapiador, J.C.A. van der Lubbe
    INSCRYPT 2009
     
  2. GGGGG )
     

2009

Book chapters

  1. The Grammatical Evolution of Boolean Functions with Cryptographic Significance. Mark Read and John A Clark. IN PREP
  2. Searching for Venn Diagrams. John A Clark., Rana Sherif, John Atkinson and Simon Poulding. IN PREP
  3. A Related-key Distinguishing Attack on the Full DES. Juan M. E. Tapiador, Julio C. Hernandez-Castro, and John A. Clark. DRAFT COMPLETE.
  4. A Genetic Programming Approach to Evolving Quantum Programs and Circuits. Paul Massey, John A Clark and Susan Stepney. Applied Soft Computing Journal. To appear 2010.
  5. Almost Boolean Functions: The Evolution of Boolean Functions with Cryptographic Significance via Spectral Evolution. John A Clark, Juan M E Tapiador and Julio Hernandez Castro.
  6. Searching for Optimal Intrusion Detection System (IDS) Sensor Placement. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. In prep. DRAFT COMPLETE – BUT NEEDS REVISION
  7. Mission Specific Security. Yow Tzu Lim, John A Clark , Pau-Chen Cheng and Juan Estevez Tapiador. COMPLETE - TO BE SUBMITTED.
  8. Interception Attacks and Routing Countermeasures in Complex Networks. Juan E. Tapiador, John A Clark and Dakshi Agrawal. COMPLETE - TO BE SUBMITTED.
  9. Information Theoretic Detection of Masquerade Mimicry Attacks. Juan Tapiador and John A Clark. SUBMITTED (Journal)
  10. A Perspective on Trust, Security and Autonomous Systems. Will Harwood, Jeremy L Jacob, and John A Clark. LIS 2010.
  11. Networks of Trust and Distrust: Towards Logical Reputation Systems. Will Harwood, Jeremy L Jacob, and John A Clark. New Security Paradigms 2010.
  12. Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. Julio C Hernandez-Castro, Juan M E Tapiador, Pedro Peris Lopez, John A Clark and El Ghazali Tabli. International Journal of Foundations of Computer Science (IJFCS) Special Issue
  13. Multi-Objective Improvement of Software using Co-evolution and Smart Seeding. Andrea Arcuri, David Robert White, John Clark. Journal version. SUBMITTED to IEEE TEC
  14. How to Choose Monitoring Nodes in Mobile Ad Hoc Networks. Sevil Sen and John A Clark. SUBMITTED (Journal)
  15. Boolean Coherence: Does it make sense? Will Harwood, Jeremy L Jacob, and John A Clark. ACCEPTED to Logics in Systems Analysis , Edinburgh July 2010
  16. Searching for Safety Violations using Estimation of Distribution Algorithms. Jan Staunton and John Clark. Winner of best student paper prize SBST 2010.
  17. Scribe Identification in Medieval English Manuscripts. Tara Gilliam, Richard Wilson and John A Clark. ACCEPTED to ICPR 2010
  18. Semantic Mutation. John A Clark, Rob Hierons, and Haitao Dan. Mutation 2010- in conjunction with ICST 2010.
  19. Learning Autonomic Security Reconfiguration Policies”. Juan Tapiaodr and John A Clark. ACCEPTED to TSP2010.
  20. Risk Based Access Control with Uncertain Time-dependent Sensitivity. John A Clark , Juan Estevez Tapiador, Pau-Chen Chen, Dakshi Argawal, Pankhaj Rohatgi and Natalie Ivanic. ACCEPTED TO SECRYPT 2010
  21. Fine-Grained Timing using Genetic Programming. David R. White, Juan M. E. Tapiador, Julio Cesar Hernandez-Castro, and John A. Clark. ACCEPTED EuroGP 2010
  22. Practical and Effective Statistical Testing by Means of Automated Search. Simon Poulding and John A Clark. JOURNAL ACCEPTED to IEEE Transactions on Software Engineering.
  23. TAIC PART 2007 and Mutation 2007 Special Issue Editorial. The Journal of Systems & Software. Mark Harman, Phil McMinn, Jeff Offut and John A Clark.
  24. Dynamic Security Policy Learning. Yow Tzu Lim, Pau Chen Cheng, Pankaj Rohatgi, John A Clark. IBM Research Report RC24865. (Published by IBM) http://domino.watson.ibm.com/library/CyberDig.nsf/papers/B97F2BF095E7F35E8525764A005BE0BA/$File/rc24865.pdf
  25. Continuous Security Policy Learning. Yow Tzu Lim , Pau-Chen Cheng, Pankhaj Rohatgi, and John A Clark. 1st ACM Workshop on Information Security Governance.
  26. Towards scalable intrusion Detection. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. Network Security. Elsevier. (JOURNAL: Expected publication date 2009)
  27. Defending the Weakest Link: Detection of Phishing Websites by User Behaviours. Xun Dong, Jeremy Jacob and John A Clark. To appear: Journal of Telecommunications 2009.
  28. Security Threats in Mobile Ad Hoc Networks. Sevil ?en, John A.Clark, Juan E. Tapiador (Book Chapter)
  29. Risk Profiles and Distributed Risk Assessment. Howard Chivers, John A Clark and Pau-Chen Cheng (IBM). JOURNAL ACCEPTED TO: Computers and Security.
  30. Knowing Who to Watch: Accumulating Evidence of Subtle Attacks. Howard Chivers, John A. Clark, Philip Nobles, Siraj A. Shaikh and Hao Chen. JOURNAL: ACCEPTED TO Information System Frontiers journal
  31. Highly entangled multi-qubit states with simple algebraic structure. J E Tapiador, J C Hernandez-Castro, J A Clark and S Stepney. JOURNAL: ACCEPTED TO J Phys A: Math & Theoret
  32. Power-Aware Intrusion Detection on Mobile Ad Hoc Networks. Sevil Sen, John A. Clark, and Juan E. Tapiador. ACCEPTED TO AdHocNets 2009.
  33. A Multi-Objective Optimisation Approach to IDS Sensor Placement. Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers, and Philip Nobles. ACCEPTED to CICIS 09.
  34. Automatic Test Data Generation for Multiple Condition and MCDC Coverage. Kamran Ghani and John A Clark. ICSEA 2009. WINNER OF A TOP PAPER PRIZE
  35. Accumulating Evidence of Insider Attacks. Howard Chivers, Philip Nobles, Siraj A. Shaikh, John A. Clark, Hao Chen. 1st International workshop on Managing Insider Threats (MIST). Held in Conjunction with IFIPTM.
  36. A Deployment Value Model for Intrusion Detection Sensors. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. In Proceedings 3rd International Conference on Information Security and Assurance. LNCS 5576. WINNER OF THE BEST PAPER PRIZE.
  37. Using automated search to generate test data for MATLAB Sion Ll Rhys, Simon M. Poulding, John A. Clark. GECCO 2009: 1697-1704
  38. Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing. Kamran Ghani and John A Clark. International Symposium on Search Based Software Engineering 2009 (SSBSE 2009)
  39. Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocols. Julio C Hernandez-Castro, Juan M E Tapiador, Pedro Peris Lopez, John A Clark and El Ghazali Tabli. Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium 2009. May 2009.
  40. Comparing Algorithms for Search-Based Test Data Generation of Matlab Simulink Models. Kamran Ghani, John A. Clark and Yuan Zhan. IEEE Conference on Evolutionary Computation 2009.
  41. A Grammatical Evolution Approach to Intrusion Detection on Mobile Ad Hoc Networks. Sevil Sen and John A Clark. WiSec 2009.
  42. Game Theory and Cooperation Analysis
    A. Alcaide, J.M.E. Tapiador, J.C. Hernandez-Castro, A. Ribagorda
    In Cooperative Wireless Communication. Chapter 9, pp. 191-208.
    Auerbach Publications (CRC Press), 2009.
     
  43. Highly Entangled Multi-qubit States with Simple Algebraic Structure
    J.E. Tapiador, J.C. Hernandez-Castro, J.A. Clark, S. Stepney
    J. Phys. A: Math. Theor. 42 (2009) 415301 (Preprint quant-ph/0904.3874) [doi]
     

    44. 2008

  44. Detection of Phishing Websites by User Behaviours. International Multi-conference on Computer Science and Information Technology. Wisla Poland, October 2008.
    Xun Dong, Jeremy Jacob and John A Clark.
    International Multi-conference on Computer Science and Information Technology. LNCS 5379:56-68. Springer-Verlag. [doi]
     
  45. Modelling User-Phishing Interaction, Xun Dong, John A Clark and Jeremy L Jacob. Human System Interaction , May 25-27, 2008, Kraków, Poland
  46. Threat Modelling in User Performed Authentication. Xun Dong, John A Clark and Jeremy Jacob 10th International Conference on Information and Computer Security (ICICS) 2008. Birmingham, UK. October 2008.
  47. Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators. David R White, John Clark, Jeremy Jacob, Simon M Poulding. ACM GECCO July 2008. Atlanta.
  48. Multi-Objective Improvement of Software using Co-evolution and Smart Seeding. Andrea Arcuri, David Robert White, John Clark, and Xin Yao. The Seventh International Conference on Simulated Evolution And Learning (SEAL'08). December 2008, Melbourne, Australia
  49. Policy Evolution with Grammatical Evolution. Yow Tzu Lim, Pau Chen Cheng , John A Clark and Pankaj Rohatgi. The Seventh International Conference on Simulated Evolution And Learning (SEAL'08). December 2008, Melbourne, Australia
  50. Policy Evolution with Grammatical Evolution.. Yow Tzu Lim, Pau Chen Cheng , John A Clark and Pankaj Rohatgi. ACITA 2008 (An extended version of the above paper.)
  51. MLS security policy evolution with genetic programming Yow Tzu Lim and Pau Chen Cheng and Pankaj Rohatgi and John Andrew Clark. ACM GECCO 2008.
  52. Policy Evolution with Genetic Programming: a Comparison of Three Approaches. Yow Tzu Lim, Pau Chen-Cheng, John A Clark and Pankaj Rohatgi. IEEE Congress on Evolutionary Computation 2008. LINK BROKEN
  53. Strengthening Inferred Specification using Search Based Testing. Kamran Ghani and John A Clark.. International Conference on Search Based Software Testing ICSBST 2008. Lillehammer 2008.
  54. Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. Sevil Sen and John A Clark. Pacific Rim Conference on Artificial Intelligence (PRICAI) December 2008.

    55. 2007

  55. 53. Heuristic Search for Non-Linear Cryptanalytic Approximations. Juan Estevez Tapiador, Julio Cesar Hernandez and John A Clark. Proceedings of IEEE Conference on Evolutionary Computation 2007.
  56. 54. Non-linear Approximations for Cryptanalaysis. Juan Estevez Tapiador and John A Clark (IMA Cryptology and Coding Theory, December 2007). NOTE ERRATUM: Expression (12), and therefore (13), in page 103 are wrong. (12) should be: P_R(A) = Px(0)Py(0) + Px(1)Py(1) and (13) ought to be modified accordingly. BROKEN
  57. 55. An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms (Simon Poulding, Paul Emberson, Iain Bate, and John Clark) HASE November 2007.
  58. 56. Unentangling nuclear magnetic resonance computing. Matthias Bechman, John A. Clark, Angelika Sebald and Susan Stepney. Proceedings of Unconventional Computing 2007.
  59. 57. Threat Modelling for MANETs and Sensor Networks. John A. Clark, John Murdoch, John A. McDermid, Sevil Sen, Howard R. Chivers, Olwen Worthington and Pankaj Rohatgi ACITA 2007.
  60. 58. Aggregation of Information Leaked by a MANET John Murdoch, John A Clark, John McDermid, Howard Chivers, Olwen Worthington and Pankaj Rohatgi. ACITA 2007.

    61. 2006

  61. 59. Deviational analyses for validating regulations on real systems,, F. Polack and T. Srivatanakul and T. Kelly and J. Clark, REMO2V workshop, Proceedings of the CAiSE'06, workshops and doctoral consortium, Presses Universitaires de Namur, 2006
  62. 60. John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006.
  63. 61. Hao Chen, John A. Clark, Jeremy Jacob: Human competitive security protocols synthesis. GECCO 2006: 1855-1856 37EEYuan Zhan, John A. Clark: The state problem for test generation in Simulink. GECCO 2006: 1941-1948
  64. 62. Human competitive security protocols synthesis. Hao Chen, John A. Clark, Jeremy Jacob. GECCO 2006: 1855-1856
  65. 63. The state problem for test generation in Simulink. Yuan Zhan, John A. Clark: GECCO 2006: 1941-1948.

    66. 2005

  66. 59. Deviational analyses for validating regulations on real systems,, F. Polack and T. Srivatanakul and T. Kelly and J. Clark, REMO2V workshop, Proceedings of the CAiSE'06, workshops and doctoral consortium, Presses Universitaires de Namur, 2006
  67. 64. “Devices are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: a ubiquitous healthcare example. Yang Liu, John A Clark and Susan Stepney. 2nd International Conference on Security in Pervasive Computing 2005.
  68. 65. Stressing Security Requirements: Exploiting the Flaw Hypothesis Method with Deviational Techniques. Jill Srivatanakul, John A Clark and Fiona Polack, SREIS 2005, Symposium on Requirements Engineering for Information Security, in conjunction with RE 05 - 13th IEEE International Requirements Engineering Conference, Paris, 29 August 2005.
  69. 66. Breaking the Model: finalisation and a taxonomy of security attacks., John A. Clark, Susan Stepney, Howard Chivers. REFINE 2005, Surrey, UK. ENTCS 137(2):225-242, 2005
  70. 67. Evolution of a Human-Competitive Quantum Fourier Transform Algorithm Using Genetic Programming, Paul Massey, John A Clark and Susan Stepney. Genetic and Evolutionary Computation Conference (GECCO) 2005. [Silver Medal and $1000 in Human Competitive Awards – the Hummies.]
  71. 68. Search-Based Mutation Testing, Yuan Zhan and John A Clark. Genetic and Evolutionary Computation Conference (GECCO) 2005. (Search Based Software Engineering Strand). 2004
  72. 69. Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. Pante Stanica, Subhamoy Maitra and John A Clark. Fast Software Encryption 2004. 11th International Workshop, Fast Software Encryption (FSE) 2004, Delhi, India, February 5-7, 2004, Revised Papers. Series : Lecture Notes in Computer Science , Vol. 3017 Roy, Bimal; Meier, Willi (Eds.) 2004, XI, 485. ISBN: 3-540-22171-9
  73. 70. Acquiring a Debt Worth Repaying. Leo Caves, John Clark and Susan Stepney. BIOGEC 2004 as part of AAAI Genetic and Evolutionary Computation Conference (GECCO) 2004. June 2004.
  74. 71. Search Based Automatic Test Data Generation at the Architectural Level. Yuan Zhan and John A Clark. AAAI Genetic and Evolutionary Computation Conference (GECCO) 2004 SBSE Strand. June 2004.
  75. 72. Evolving Quantum Circuits and Programs through Genetic Programming. Paul Massey, John A. Clark, Susan Stepney. AAAI Genetic and Evolutionary Computation Conference (GECCO) 2004 Genetic Programming strand. 26-30 June 2004. (Awarded best paper in GP strand).
  76. 73. Searching for Cost Functions. John A Clark, Jeremy L Jacob and Susan Stepney. IEEE Congress on Evolutionary Computation 2004, Special Session on Security and Cryptology. Portland Oregon. June 2004.
  77. 74. The Design of S-Boxes by Simulated Annealing. John A Clark, Jeremy L Jacob and Susan Stepney. IEEE Congress on Evolutionary Computation 2004. Special Session on Security and Cryptology. Portland Oregon. June 2004. (Also to appear, mutatis mutandis, in New Generation Computing Journal in 2005).
  78. 75. Metrics are Fitness Functions too. Mark Harman and John A Clark. 10th IEEE International Metrics Symposium. Chicago. September 2004.
  79. 76. The Synthesis of Effective and Efficient Security Protocols. Hao Chen, John A Clark and Jeremy L Jacob. Second International Joint Conference on Automated Reasoning. ARSPA Cork, Ireland. July 2004. Chen Hao, John A. Clark and Jeremy L. Jacob. Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004), pp 25-41 ENTCS Volume 125, Issue 1, March 2005.
  80. 77. Effective Security Requirements Analysis: HAZOPs and Use Cases. Jill Srivatanakul, John A Clark and Fiona Polack. Information Security, 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings, Lecture Notes in Computer Science , Vol. 3225, pp 416-427.
  81. 78. Test Data Genberation for Product Lines: A Mutation Testing Approach. Yuan Zhan, Zoe Stephenson, John A Clark and John A. McDermid. To be presented at the 3rd Software Product Line Conference SPLC 2004 “Product Line Testing” workshop, August 31, 2004 Boston, Massachusetts, USA
  82. 2003 79. Artificial Immune Systems and the Grand Challenge for Non-Classical Computation. Susan Stepney, John A Clark, Colin G Johnson, Derek Partridge and Robert E Smith . pp 204-216 in Jon Timmis, Peter J. Bentley, Emma Hart (Eds.): Artificial Immune Systems, Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings. Lecture Notes in Computer Science 2787 Springer 2003, ISBN 3-540-40766-9
  83. 80. Secret Agents Leave Big Footprints: How to plant a trapdoor in a cryptographic function and why you might not get away with it. Clark|, Jacob, Stepney. Real World Applications strand. AAAI Genetic and Evolutionary Computation Conference (GECCO) 2003, Chicago, IL, USA, July 12-16, .pp 2022-2033, Lecture Notes in Computer Science Vol .2724.
  84. 81. Using Ants to Attack a Classical Cipher. Matthew Russell, John A. Clark, Susan Stepney. Genetic and Evolutionary Computation Conference: AAAI Genetic and Evolutionary Computation Conference (GECCO) 2003, Chicago, USA, July 2003. Poster Paper. pp.146-147. Lecture Notes in Computer Science Vol .2723.
  85. 82. Smart Devices and Software Agents: the Basics of Good Behaviour. Howard Chivers, John Clark and Susan Stepney. First International Conference on Security in Pervasive Computing. Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.): Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers. Lecture Notes in Computer Science 2802 Springer 2004, ISBN 3-540-20887-9
  86. 83. Invited paper. Nature-inspired Cryptography: Past, Present and Future. John Clark. IEEE Congress on Evolutionary Computation 2003. Special Session on Evolutionary Computation and Computer Security. December 2003, Canberra.
  87. 84. Almost Boolean Functions: the Design of Boolean Functions by Spectral Inversion. John A Clark, Jeremy L Jacob., Subhamoy Maitra and Pantelimon Stanica. IEEE Congress on Evolutionary Computation 2003. Special Session on Evolutionary Computation and Computer Security. December 2003, Canberra.
  88. 85. Automatic Design of Security Protocols. Hao Chen, John Clark and Jeremy Jacob. IEEE Congress on Evolutionary Computation 2003. Special Session on Evolutionary Computation and Computer Security. December 2003, Canberra.
  89. 86. Making the most of Two Heuristics: Breaking Transposition Ciphers with Ants. Matthew Russell, John A Clark and Susan Stepney. IEEE Congress on Evolutionary Computation. (Ants strand) Canberra, 8-12 December 2003.
  90. 87. Challenging Formal Specifications with Mutation: A CSP Security Example (IEEE website). Jill Srivratanakul, John Clark, Fiona Polack and Susan Stepney. 12th IEEE Asia Pacific Software Engineering Conference (APSEC) 2003.
  91. 2002
  92. 88. "Evolving Boolean Functions with Multiple Criteria". John A Clark, Jeremy L Jacob, Susan Stepney, Subhamoy Maitra and William Millan. Alfred Menezes, Palash Sarkar (Eds.): Progress in Cryptology - INDOCRYPT 2002, Third International Conference on Cryptology in India, Hyderabad, India, December 16-18, 2002. Lecture Notes in Computer Science 2551 Springer 2002, ISBN 3-540-00263-4. pp 246-259.
  93. 89. Fault Injection and a Timing Channel on an Analysis Technique. John A Clark and Jeremy L Jacob. pp. 181-196 in Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002. Proceedings. Editors: L. Knudsen (Ed.). Lecture Notes in Computer Science 2332. ISSN: 0302-9743
  94. 90. FORTEST: Formal Methods and Testing. pp. 91-104 in Proceedings of COMPSAC 2002. Jonathan Bowen, Kirill Bogdanov, John Clark, Rob Hierons, Mark Harman, Paul Krause.
  95. 91. 2001
  96. 92. Automated generation of tests from statechart specifications, Simon Burton, John Clark and John McDermid. Proceedings of formal approaches to testing software (FATES), August 2001. LINK BROKEN
  97. 93. Investigating the effectiveness of Object Oriented Testing Strategies with the Mutation Method Sun-Woo Kim, John Clark, and John McDermid.. Software Testing, Verification & Reliability 11(3): 207-225 December. 2001. (One of three papers selected from Mutation 2000 workshop for journal).
  98. 94. Class Mutation: Mutation Testing For Object Oriented Programs. Sun-Woo Kim, John Clark, and John McDermid. In the Proceedings of the FMES 2000. October 2000.
  99. 95. Automated V&V for High Integrity Systems, a Targeted Formal Methods Approach Simon Burton, John Clark, Andy Galloway and John McDermid In Proceedings of the NASA Langley Formal Methods Workshop, 13-15 June 2000.
  100. 96. Proof and Test and Automation. An Integrated Approach. Simon Burton, John Clark and John McDermid. Short paper. Proceedings of the Workshop on Program Analysis and Automated Testing, 22nd International Conference in Software Engineering (ICSE) 2000.
  101. 97. Investigating the Applicability of Traditional Test Adequacy Criteria For Object Oriented Programs. Sun-Woo Kim, John Clark, and John McDermid. In the Proceedings of the ObjectDays 2000. October 2000.
  102. 98. Investigating the effectiveness of Object Oriented Testing Strategies with the Mutation Method Sun-Woo Kim, John Clark, and John McDermid. In the Proceedings of the Mutation 2000. San Jose 6-7 October 2000. One of three papers also selected to appear in a special issue of STVR.
  103. 99. Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. John A Clark and Jeremy L Jacob. In proceedings of IEEE Symposium on Security and Privacy, Oakland, 14-17 May, 2000.
  104. 100.Two Stage Optimisation in the Design of Boolean Functions. John A Clark and Jeremy L Jacob. In Ed Dawson, Andrew Clark, Colin Boyd (Eds.): Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings. Lecture Notes in Computer Science 1841 Springer 2000, ISBN 3-540-67742-9
  105. 1999 and before
  106. 101.Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification Nigel Tracey, John Clark, John McDermid and Keith Mander. In the Proceedings of 17th International System Safety Conference. August 1999. Pages 128-137.
  107. 102.Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems Nigel Tracey, John Clark, Keith Mander and John McDermid. In the Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society. November 1999.
  108. 103.Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation. Sun-Woo Kim, John Clark, and John McDermid. In the Proceedings of Symposium on Software Technology (SoST'99). Pages 72-83, September 1999.
  109. 104.The Rigorous Generation of Java Mutation Operators Using HAZOP. Sun-Woo Kim, John Clark, and John McDermid. Technical Report. December 1999.
  110. 105.The Rigorous Generation of Java Mutation Operators Using HAZOP. Sun-Woo Kim, John Clark, and John McDermid. In the Proceedings of the 12th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS (ICSSEA'99). December 1999.
  111. 106.A Safety Change Oriented Process for Safety-Critical Systems Nigel Tracey, Alan Stephenson, John Clark and John McDermid. In the Proceedings of Software Change and Evolution Workshop. IEEE International Conference on Software Engineering. May 1999
  112. 107.CONVERSE: A Change-Oriented Process for Engine Controllers Darren Buttle, John Clark, John McDermid, Alan Stephenson and Nigel Tracey IEE Software. Vol. 146(3)130-136, June 1999.
  113. 108.Automated Program Flaw Finding using Simulated Annealing Nigel Tracey, John Clark and Keith Mander. In Software Engineering Notes Issue 23 Number 2, the Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). USA, March 1998. Pages 73-81.
  114. 109.The Way Forward for Unifying Dynamic Test-Case Generation: The Optimisation-Based Approach. Nigel Tracey, John Clark and Keith Mander. In the Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA). South Africa, January 1998. Pages 169-180.
  115. 110.An Automated Framework for Structural Test Data Generation Nigel Tracey, John Clark, Keith Mander and John McDermid. In the Proceedings of the ACM/IEEE Automated Software Engineering 1998, Honolulu.
  116. 111.Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap. John McDermid, Andy Galloway, Simon Burton, John Clark, Ian Toyn, Nigel Tracey and Sam Valentine. In the Proceedings of IEEE ICFEM (International Conference on Formal Engineering Methods). December 1998.
  117. 112.Four Methods in Maintenance Scheduling. Edmund Burke, John Clark and Alistair Smith. Proceedings of the International Conference on Neural Networks and Genetic Algorithms 1997 (ICANNGA 97).
  118. 113.Holistic Schedulability Analysis for Distributed Hard Real-rime Systems. K Tindell and J Clark . 1994 Journal Papers (to 2008)
  119. 114.Network Reconnaissance. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. (2008) Network Security, Vol 2008. Elsevier. (Expected publication date November 2008)
  120. 115.Characterising intrusion detection sensors. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. (2008) Network Security, Elsevier. Volume 2008, Issue 9, September 2008, Pages 10-12
  121. 116.Characterising intrusion detection sensors. Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. (2008) Network Security, Elsevier. Volume 2008, Issue 10, October 2008, Pages 9-11
  122. 117.Searching for Quantum Programs and Quantum Protocols: a review. Susan Stepney, John A. Clark. Journal of Computational and Theoretical Nanoscience 5(5) 2008 (in press).
  123. 118.Intrusion Detection in Mobile Ad Hoc Networks. (Book Chapter) Sevil Sen and John A Clark. Guide to Wireless Ad Hoc Networks", Chapter 17. The publisher is Springer (editors: Sudip Misra, Subhas C Misra, Isaac Woungang). January 2009.
  124. 119.The certification of the Mondex electronic purse to ITSEC Level E6. Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy L. Jacob. Formal Aspects of Computing 20(1):5-19, 2008
  125. 120.A Search-Based Framework for Automatic Testing of MATLAB/Simulink Models. Yuan Zhan and John A Clark. Journal of Systems and Software Special Issue on Model Based Testing. Volume 81, Issue 2 (February 2008) Pages 262-285. ISSN:0164-1212. DOI 10.1016/j.jss.2007.05.039
  126. 121.Searching for Quantum Programs and Quantum Protocols: a review. Journal of Computational and Theoretical Nanoscience. Susan Stepney and John A Clark
  127. 122.The Design of S-Boxes by Simulated Annealing. John A Clark, Jeremy L Jacob and Susan Stepney. Next Generation Computing Journal in 2005.
  128. 123.Journeys in Non-Classical Computation I: A Grand Challenge for Computing Research. Int. J. Parallel, Emergent and Distributed Systems. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andy Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin Johnson, Jonathan Timmis, Peter Welch, Robin Milner, Derek Partridge
  129. 124.Journeys in Non-Classical Computation II: Initial Journeys and Waypoints. Int. J. Parallel, Emergent and Distributed Systems. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andy Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin Johnson, Jonathan Timmis, Peter Welch, Robin Milner, Derek Partridge
  130. 125.Evolving Quantum Programs and Protocols. Susan Stepney, John A. Clark. In Michael Rieth, Wolfram Schommers, eds. Handbook of Theoretical and Computational Nanotechnology, American Scientific Publishers, 2005
  131. 126.Almost Boolean Functions: the Design of Boolean Functions by Spectral Inversion. John A Clark, Jeremy L Jacob., Subhamoy Maitra and Pantelimon Stanica Computational Intelligence Volume 20, Number 3, pp 450—462. Special Issue on Evolutionary Computing in Cryptography and Security. August 2004
  132. 127.Automatic Design of Security Protocols. Hao Chen, John Clark and Jeremy Jacob. Computational Intelligence Volume 20, Number 3, pp 503--516. Special Issue on Evolutionary Computing in Cryptography and Security. August 2004
  133. 128.Smart Dust – Friend or Foe? Replacing Identity with Configuration Trust. Howard Chivers and John A Clark. Computer Networks 46 (2004). COMNET Special Issue on Future Advances in Military Communications Systems and Technologies. pp.723-740
  134. 129.Software Testing Verification and Reliability (STVR) Volume 14, Number 3 (September 2004). Special Issue. Editorial: Software Testing in the United Kingdom. John Clark, Mark Harman and Rob Hierons (Guest Editors). Selected papers from SoftTest II: The Second UK Workshop on Software Testing Research, York, 4-5 September 2003. )
  135. 130.Reformulating Software Engineering as a Search Problem. John Clark, Jose Javier Dolado, Mark Harman, Rob Hierons, Bryan Jones, Mary Lumkin, Brian Mitchell, Spiros Mancoridis, Kearton Rees, Marc Roper and Martin Shepperd. IEE Proceedings – Software 150(3): 161-175, 2003.
  136. 131.Protocols are Programs Too: the Meta-heuristic Search for Security Protocols. John A Clark and Jeremy L Jacob. IS&T Special Issue on Metheuristics for Software Engineering. Information & Software Technology 43(14): 891-904 December (2001).
  137. 132.Investigating the effectiveness of Object Oriented Testing Strategies with the Mutation Method Sun-Woo Kim, John Clark, and John McDermid.. Software Testing, Verification & Reliability 11(3): 207-225 December. 2001. (One of three papers selected from Mutation 2000 for journal).
  138. 133.Playing the game: Cheating, Loopholes and Virtual Identity. Phil Brooke, Richard Paige, John A Clark and Susan Stepney. ACM Computers and Society.
  139. 134.Automated test-data generation for exception conditions Nigel Tracey, John Clark, Keith Mander and John McDermid. Software Practice and Experience, January 2000.
  140. 135.CONVERSE: A Change-Oriented Process for Engine Controllers Darren Buttle, John Clark, John McDermid, Alan Stephenson and Nigel Tracey IEE Software. Vol. 146(3)130-136, June 1999.
    141. IN PREP 2007 2006 2005 Book chapters 136.A Search Based Automated Test Data Generation for High Integrity Systems. Nigel Tracey, John Clark, Keith Mander and John McDermid. Chapter 12 of Systems Engineering for Buisness Process Change (New Directions). Peter Henderson (Ed). Springer. ISBN 1852333995. (Book Chapter) York Computer Science Technical Reports 137.Formalizing Anonymity: a review. Joss Wright, Susan Stepney, John A. Clark, Jeremy Jacob. Technical Report YCS-2005-389, University of York. 2005 138.A Search-based Approach to the Automated Design of Security Protocols. Hao Chen, John A Clark and Jeremy L Jacob. York Computer Science Technical Report YCS-2204-376. (Technical Report). 102 pages. 139.Breaking the model: finalisation and a taxonomy of security attacks. John A Clark, Susan Stepney and Howard Chivers. York Computer Science Technical Report YCS-2004-371. 20 pages. 140.Security Zonal Analysis. Jill Srivatanakul, John A Clark and Fiona Polack. York Computer Science Technical Report YCS-2004-274. 14 May 2004. 47 pages. 141.Writing Effective Security Abuse Cases. Jill Srivatanakul, John A Clark and Fiona Polack. Yellow Technical Report YCS-2004-375. 14 May 2004. 57 pages. 142.Automatic Test-Data Generation for Testing Simulink Models, Yuan Zhan and John A Clark. Yellow Technical report YCS-382. 143.DPhil Thesis. Metaheuristic Search as a Cryptological Tool (YCST-2002-07.ps.gz). John A Clark.
    Copyright notice:

    The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.