John Andrew Clark

Search results

• 2009

  Automatic Test Data Generation for Multiple Condition and MCDC Coverage

  Ghani, K., Clark, J. A., Boness, K., Fernandes, J. M., Hall, J. G., Machado, R. J. & Oberhauser, R., 2009, p. 152-157. 6 p.

  Research output: Contribution to conference › Paper › peer-review

• Comparing algorithms for search-based test data generation of Matlab

  Ghani, K., Clark, J. A. & Zhan, Y., 2009, p. 2940-2947.

  Research output: Contribution to conference › Paper › peer-review

• Comparing Algorithms for Search-Based Test Data Generation of Matlab (R) Simulink (R) Models

  Ghani, K., Clark, J. A. & Zhan, Y., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2940-2947 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Dynamic security policy learning

  Lim, Y. T., Cheng, P-C., Rohatgi, P. & Clark, J. A., 2009, Proceedings of the first ACM workshop on Information security governance. New York, NY, USA: ACM, p. 39-48 10 p. (WISG '09).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Evolving intrusion detection rules on mobile ad hoc networks

  Sen, S. & Clark, JA., 2009, In: Proceedings of the PRICAI, LNAI. p. 1053-1058

  Research output: Contribution to journal › Article › peer-review

• Highly entangled multi-qubit states with simple algebraic structure

  Tapiador, J. E., Hernandez-Castro, J. C., Clark, J. A. & Stepney, S., 1 Apr 2009, In: J. Phys. A: Math. Theor.. 42, 41, 15 p., 415301.

  Research output: Contribution to journal › Article › peer-review

• Intrusion Detection in Mobile Ad Hoc Networks

  Clark, JA. & Sen, S., 2009, In: Guide to Wireless Ad Hoc Networks.

  Research output: Contribution to journal › Article › peer-review

• Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol

  Hernandez-Castro, J. C., Tapiador, J. E., Peris-Lopez, P., Clark, J. A. & Talbi, E-G., 2009, 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. IEEE, p. 1-5 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Power-Aware Intrusion Detection in Mobile Ad Hoc Networks

  Sen, S., Clark, J. A., Tapiador, J. E., Zheng, J. (ed.), Mao, S. (ed.), Midkiff, S. F. (ed.) & Zhu, H. (ed.), 2009, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers. Springer, Vol. 28. p. 224-239 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Risk profiles and distributed risk assessment

  Chivers, H. R., Clark, J. A. & Cheng, P-C., Oct 2009, In: Computers & Security. 28, 7, p. 521-535 15 p.

  Research output: Contribution to journal › Article › peer-review

• Security Threats in Mobile Ad Hoc Networks

  Sen, S. & Clark, JA., 2009.

  Research output: Working paper

• TAIC PART 2007 and Mutation 2007 special issue editorial

  Harman, M., Li, Z., McMinn, P., Offutt, J. & Clark, J., Nov 2009, In: Journal of Systems and Software. 82, 11, p. 1753-1754 2 p.

  Research output: Contribution to journal › Article › peer-review

• Towards scalable intrusion detection

  Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., Jun 2009, In: Network Security. 2009, 6, p. 12-16 5 p.

  Research output: Contribution to journal › Article › peer-review

• Using automated search to generate test data for matlab

  Rhys, S. L., Poulding, S. M., Clark, J. A. & Rothlauf, F. (ed.), 2009, Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. ACM, p. 1697-1704 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

  Ghani, K. & Clark, J. A., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE Computer Society, p. 122-131 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2008

  A search-based framework for automatic testing of MATLAB/Simulink models

  Zhan, Y. & Clark, J. A., Feb 2008, In: Journal of Systems and Software. 81, 2, p. 262-285 24 p.

  Research output: Contribution to journal › Article › peer-review

• A user-phishing interaction model

  Dong, X., Clark, J. A. & Jacob, J. L., 2008, In: Conference on Human System Interaction.

  Research output: Contribution to journal › Article › peer-review

• Characterising intrusion detection sensors

  Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., 2008, In: Network Security.

  Research output: Contribution to journal › Article › peer-review

• Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks

  Sen, S. & Clark, J. A., 2008, PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE. Ho, TB. & Zhou, ZH. (eds.). BERLIN: Springer, Vol. 5351 LNAI. p. 1053-1058 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• MLS security policy evolution with genetic programming

  Cheng, PC., Rohatgi, P. & Clark, JA., 2008, In: Proceedings of the 10th annual conference on Genetic and evolutionary computation. p. 1571-1578 7 p.

  Research output: Contribution to journal › Article › peer-review

• Modelling User-Phishing Interaction

  Dong, X., Clark, J. A. & Jacob, J., 2008, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 633-638 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multi-objective Improvement of Software Using Co-evolution and Smart Seeding

  Arcuri, A., White, D. R., Clark, J. & Yao, X., 2008, In: Simulated Evolution and Learning. p. 61-70

  Research output: Contribution to journal › Article › peer-review

• Policy evolution with genetic programming

  Lim, YT., Cheng, PC. & Clark, J. A., 2008.

  Research output: Contribution to conference › Paper

• Policy Evolution with Genetic Programming: a Comparison of Three Approaches

  Lim, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 1792-1800 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Policy Evolution with Grammatical Evolution

  Linn, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS. Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, KC., Branke, J. & Shi, Y. (eds.). BERLIN: Springer, Vol. 5361 LNAI. p. 71-80 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Reputation Attacks in Mediated and Automated Systems

  Rabaiotti, JR., Chivers, H. & Clark, J. A., 2008.

  Research output: Contribution to conference › Paper › peer-review

• Searching for quantum programs and quantum protocols

  Stepney, S. & Clark, J. A., May 2008, In: Journal of Computational and Theoretical Nanoscience. 5, 5, p. 942-969 28 p.

  Research output: Contribution to journal › Literature review › peer-review

• Searching for quantum programs and quantum protocols: a review

  Stepney, S. & Clark, J. A., 2008, In: Journal of Computational and Theoretical Nanoscience. 5, 5, p. 942-969

  Research output: Contribution to journal › Article › peer-review

• Searching for resource-efficient programs: low-power pseudorandom number generators

  White, D. R., Clark, J. A., Jacob, J. & Poulding, S. M., 2008, p. 1775-1782.

  Research output: Contribution to conference › Paper › peer-review

• Strengthening inferred specifications using search based testing

  Ghani, K. & Clark, JA., 2008.

  Research output: Contribution to conference › Paper › peer-review

• The certification of the Mondex electronic purse to ITSEC level E6

  Woodcock, J., Stepney, S., Cooper, D., Clark, J. A. & Jacob, J. L., Jan 2008, In: Formal Aspects of Computing. 20, 1, p. 5-19 15 p.

  Research output: Contribution to journal › Article › peer-review

• Threat Modelling in User Performed Authentication

  Dong, X., Clark, J. A. & Jacob, J. L., 2008, INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. Chen, L., Ryan, MD. & Wang, G. (eds.). BERLIN: Springer, Vol. 5308 LNCS. p. 49-64 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• User Behaviour Based Phishing Websites Detection

  Dong, X., Clark, J. A. & Jacob, J. L., 2008, 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2. Ganzha, M., Paprzycki, M. & PelechPilichowski, T. (eds.). NEW YORK: IEEE, Vol. 3. p. 728-735 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2007

  Aggregation of Information leaked by a MANET

  Murdoch, J., Clark, J. A., McDermid, J. A., Chivers, H. R. & Worthington, O., 2007.

  Research output: Contribution to conference › Paper › peer-review

• An efficient experimental methodology for configuring search-based design algorithms

  Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Heuristic search for non-linear cryptanalytic approximations

  Tapiador, J. M. E., Hernandez-Castro, J. C. & Clark, J. A., 1 Sept 2007, CEC 2007. IEEE Congress on Evolutionary Computation, 2007. p. 3561 -3568

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Non-linear cryptanalysis revisited: Heuristic search for approximations to S-Boxes

  Tapiador, J. M. E., Clark, J. A. & Hernandez-Castro, J. C., 2007, CRYPTOGRAPHY AND CODING, PROCEEDINGS. Galbraith, SD. (ed.). BERLIN: Springer, p. 99-117 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Threat Modelling for Mobile ad hoc and Sensor Networks

  Clark, J. A., Murdoch, J., McDermid, J. A., Sen, S., Chivers, H. R., Worthington, O. & Rohatgi, P., 2007.

  Research output: Contribution to conference › Paper › peer-review

• Unentangling nuclear magnetic resonance computing

  Bechmann, M. W., Clark, J. A., Sebald, A. A-M. & Stepney, S., 2007, Unconventional Computing 2007. Bristol, U.K.: Luniver Press, p. 1-18

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2006

  Deviational Analyses for Validating Regulations on Real Systems

  Polack, F., Srivatanakul, T., Kelly, T., Clark, J. A., Laleau, R. & Lemoine, M., 2006.

  Research output: Contribution to conference › Paper

• Fusing Natural Computational Paradigms for Cryptanalysis: Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range

  Clark, J. A. & Stepney, S., 1 Dec 2006, CEC 2006. IEEE Congress on Evolutionary Computation, 2006. p. 200 -206

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Human-competitive evolution of quantum computing artefacts

  Massey, P., Clark, J. A. & Stepney, S., Apr 2006, In: Evolutionary Computation. 14, 1, p. 21-40 19 p.

  Research output: Contribution to journal › Article › peer-review

• Human-competitive evolution of quantum computing artefacts by genetic programming

  Massey, P., Clark, J. A. & Stepney, S., 2006, In: Evolutionary Computation. 14, 1, p. 21-40 20 p.

  Research output: Contribution to journal › Article › peer-review

• Human competitive security protocols synthesis

  Chen, H., Clark, J. A. & Jacob, J., 2006, p. 1855-1856.

  Research output: Contribution to conference › Paper › peer-review

• Journeys in non-classical computation II: initial journeys and waypoints

  Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A. M., Adamatzky, A., Smith, R. E., Addis, T. R., Johnson, C. G., Timmis, J., Welch, P. H., Milner, R. & Partridge, D., 2006, In: International Journal of Parallel, Emergent and Distributed Systems. 21, 2, p. 97-125 29 p.

  Research output: Contribution to journal › Article › peer-review

• Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings

  Clark, J. A., Paige, R. F., Polack, F. & Brooke, P. J., 2006.

  Research output: Contribution to conference › Paper

• The state problem for test generation in Simulink

  Zhan, Y. & Clark, J. A., 2006, Proceedings of the 8th annual conference on Genetic and evolutionary computation. New York, NY, USA: ACM, p. 1941-1948 8 p. (GECCO '06).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2005

  Adsorption-catalytic process for carbon disultide removal from air

  Yegiazarov, Y., Clark, J., Potapova, L., Radkevich, V., Yatsimirsky, V. & Brunel, D., 15 May 2005, In: Catalysis Today. 102, p. 242-247 6 p.

  Research output: Contribution to journal › Article › peer-review

• Breaking the Model: finalisation and a taxonomy of security attacks

  Clark, J. A., Stepney, S. & Chivers, H., 2005, p. 225--242.

  Research output: Contribution to conference › Paper

• Breaking the Model: Finalisation and a Taxonomy of Security Attacks

  Clark, J. A., Stepney, S. & Chivers, H., Jul 2005, In: Electronic Notes in Theoretical Computer Science. 137, 2, p. 225-242 18 p.

  Research output: Contribution to journal › Article › peer-review