John Andrew Clark

Search results

• 2005

  "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

  Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: Springer, p. 31-45 15 p.

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

• Evolution of a human-competitive quantum fourier transform algorithm using genetic programming

  Massey, P., Clark, J. A. & Stepney, S., 2005, Proceedings of the 2005 Conference on Genetic and Evolutionary Computation. New York, NY, USA: ACM, p. 1657-1663 7 p. (GECCO '05).

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

• Formalizing anonymity: A review

  Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

  Research output: Book/Report › Other report

  File

• Journeys in non-classical computation I: A grand challenge for computing research

  Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A., Adamatzky, A., Addis, T., Johnson, C., Timmis, J., Welch, P., Milner, R., Partridge, D. & Smith, R. E., Mar 2005, In: International Journal on Parallel, Emergent and Distributed Systems. 20, 1, p. 5-19 14 p.

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

• Search-based mutation testing for Simulink models

  Zhan, Y. & Clark, J. A., 2005, GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2. Beyer, HG. (ed.). NEW YORK: ACM, p. 1061-1068 8 p.

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

• Stressing Security Requirements: exploiting the Flaw Hypothesis Method with Deviational Techniques

  Srivratanakul, T., Clark, J. A. & Polack, F. A. C., 2005, In: Symposium on Requirements Engineering for Information Security (SREIS 2005).

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

• Synthesising efficient and effective security protocols

  Chen, H., Clark, J. A. & Jacob, J. L., 2005, In: Electronic Notes in Theoretical Computer Science. 125, 1, p. 25-41 17 p.

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

• The design of S-boxes by simulated annealing

  Clark, J. A., Jacob, J. L. & Stepney, S., 2005, In: New Generation Computing. 23, 3, p. 219-231 13 p.

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

• “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example

  Liu, Y., Clark, J. A. & Stepney, S., 2005, In: Security in Pervasive Computing.

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

  Acquiring a Debt Worth Repaying: why Evolutionary Computation should gain yet further inspiration from Biology

  Caves, L., Clark, J. A. & Stepney, S., 2004.

  Research output: Contribution to conference › Paper

• Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion.

  Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 27 Jul 2004, In: Computational Intelligence. 20, 3, p. 450-462 12 p.

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

• A search-based approach to the automated design of security protocols

  Hao, C., Clark, JA. & Jacob, J. L., 2004, YCS-2004-376 ed. Department of Computer Science, University of York. 102 p. (York Computer Science Technical Report Series ("Yellow Reports"); vol. YCS , no. YCS-2004-376)

  Research output: Book/Report › Other report

  Open Access

  File

• Automated design of security protocols

  Hao, C., Clark, J. A. & Jacob, J. L., Jul 2004, In: Computational Intelligence. 20, 3, p. 503-516 13 p.

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

• Automatic test-data generation for testing simulink models

  Zhan, Y. & Clark, J. A., 2004, Department of Computer Science, University of York. 16 p. (York Computer Science Technical Report ; vol. YCS, no. YCS-2004-382)

  Research output: Book/Report › Other report

  Open Access

  File

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

  Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

  Research output: Book/Report › Other report

  Open Access

  File

• Can Secure Systems be Built Using Today's Development Processes?

  Woody, C., Hall, A. & Clark, J. A., 2004.

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

• Design of s-boxes by simulated annealing

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1533-1537 5 p.

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

• Effective security requirements analysis: HAZOP and use cases

  Srivatanakul, T., Clark, J. A. & Polack, F., 2004, INFORMATION SECURITY, PROCEEDINGS. Zhang, K. & Zheng, Y. (eds.). BERLIN: Springer, p. 416-427 12 p.

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

• Evolving quantum circuits and programs through genetic programming

  Massey, P., Clark, J. A. & Stepney, S., 2004, GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. Deb, K., Poli, R., Banzhaf, W., Beyer, HG., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, O., Harman, M., Holland, O., Lanzi, PL., Spector, L., Tettamanzi, A., Thierens, D. & Tyrrell, A. (eds.). BERLIN: Springer, p. 569-580 12 p.

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

• Metrics are fitness functions too

  Harman, M. & Clark, J. A., 1 Sept 2004, Proceedings of 10th International Symposium on Software Metrics 2004. p. 58 - 69

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

• Metrics Are Fitness Functions Too

  Harman, M. & Clark, J. A., 2004, p. 58-69.

  Research output: Contribution to conference › Paper

• Playing the Game: cheating, loopholes, and virtual identity

  Brooke, P. J., Paige, R. F., Clark, J. A. & Stepney, S., 1 Sept 2004, In: ACM Computers and Society. 34, 2

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

• Results on rotation symmetric bent and correlation immune Boolean functions

  Stanica, P., Maitra, S. & Clark, J. A., 2004, FAST SOFTWARE ENCRYPTION. Roy, B. & Meier, W. (eds.). BERLIN: Springer, p. 161-177 17 p.

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

• Search based automatic test-data generation at an architectural level

  Zhan, Y. & Clark, J., 2004, GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. Deb, K., Poli, R., Banzhaf, W., Beyer, HG., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, O., Harman, M., Holland, O., Lanzi, PL., Spector, L., Tettamanzi, A., Thierens, D. & Tyrrell, A. (eds.). BERLIN: Springer, p. 1413-1424 12 p.

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

• Searching for cost functions

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1517-1524 8 p.

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

• Security Zonal Analysis

  Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 43 p. (York Computer Science Technical Report)

  Research output: Book/Report › Other report

• Smart devices and software agents: The basics of good behaviour

  Chivers, H., Clark, J. A. & Stepney, S., 2004, SECURITY IN PERVASIVE COMPUTING. Hutter, D., Muller, G., Stephan, W. & Ullmann, M. (eds.). BERLIN: Springer, p. 39-52 14 p.

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

• Smart dust, friend or foe? Replacing identity with configuration trust

  Chivers, H. & Clark, J. A., 5 Dec 2004, In: Computer networks-The international journal of computer and telecommunications networking. 46, 5, p. 723-740 18 p.

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

• Software testing in the United Kingdom

  Clark, J., Harman, M. & Hierons, R., Sept 2004, In: Software Testing, Verification and Reliability. 14, 3, p. 165-166 2 p.

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

• Test Data Generation for Product Lines–A Mutation Testing Approach

  Stephenson, Z., Zhan, Y. & Clark, J. A., 2004, In: SPLiT International Workshop on Software Product Line Testing.

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

• The design of S-boxes by simulated annealing

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, p. 1533--1537.

  Research output: Contribution to conference › Paper

• Writing Effective Security Abuse Cases

  Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 52 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-375)

  Research output: Book/Report › Other report

  Open Access

  File
• 2003

  Almost Boolean functions: The design of Boolean functions by spectral inversion

  Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2173-2180 8 p.

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

• Artificial immune systems and the grand challenge for non-classical computation

  Stepney, S., Clark, J. A., Johnson, C. G., Partridge, D. & Smith, R. E., 2003, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Timmis, J., Bentley, P. & Hart, E. (eds.). BERLIN: Springer, p. 204-216 13 p.

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

• Automated design of security protocols

  Chen, H., Clark, J. A. & Jacob, J. L., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2181-2188 8 p.

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

• Challenging formal specifications by mutation: a CSP security example

  Srivatanakul, T., Clark, J. A., Stepney, S. & Polack, F., 2003, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS. Azada, D. (ed.). LOS ALAMITOS: IEEE Computer Society, p. 340-350 11 p.

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

• Formulating software engineering as a search problem

  Clark, J. A., Dolado, J. J., Harman, M., Hierons, R. M., Jones, B. F., Lumkin, M., Mitchell, B. S., Mancoridis, S., Rees, K., Roper, M. & Shepperd, M. J., 2003, In: IEE Proceedings - Software. 150, 3, p. 161-175 15 p.

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

• Invited paper. Nature-inspired cryptography: Past, present and future

  Clark, J. A., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 1647-1654 8 p.

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

• Making the most of two heuristics: breaking transposition ciphers with ants

  Russell, M. D., Clark, J. A. & Stepney, S., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2653-2658 6 p.

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

• Nature-inspired cryptography: past, present and future

  Clark, J. A., 1 Dec 2003, CEC '03. The 2003 Congress on Evolutionary Computation, 2003.. Vol. 3. p. 1647 - 1654 Vol.3

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

• Reformulating software engineering as a search problem

  Dolado, J. J., Harman, M., Hierons, R., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M., Shepperd, M. & Clark, J. A., 1 Jun 2003, In: IEE Proceedings - Software. 150, 3, p. 161 - 175

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

• Secret agents leave big footprints: How to plant a cryptographic trapdoor, and why you might not get away with it

  Clark, J. A., Jacob, J. L. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Hartman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: Springer, p. 2022-2033 12 p.

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

• Smart Devices and Software Agents: The Basics of Good Behaviour

  Chivers, H., Clark, J. A., Stepney, S., Hutter, D., Müller, G., Stephan, W. & Ullmann, M., 2003, p. 39-52.

  Research output: Contribution to conference › Paper

• Using ants to attack a classical cipher

  Russell, M., Clark, J. A. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: Springer, p. 146-147 2 p.

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

  A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

  Tracey, N. J., Clark, J. A., McDermid, J. A., Mander, K. C. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. Springer, p. 174-213 40 p.

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

• CONVERSE: A Family Oriented Software Development Process for Engine Controllers

  Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer, p. 38-73 36 p.

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

• Evolving Boolean functions satisfying multiple criteria

  Clark, J. A., Jacob, J. L., Stepney, S., Maitra, S. & Millan, W., 2002, PROGRESS IN CRYPTOLOGY - INDOCRYPT 2002, PROCEEDINGS. Menezes, A. & Sarkar, P. (eds.). BERLIN: Springer, p. 246-259 14 p. (Lecture Notes in Computer Science; vol. 2551).

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

• Fault Injection and a Timing Channel on an Analysis Technique

  Clark, J. A., Jacob, J. L. & Knudsen, L. R. (ed.), 2002, 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. 2332, p. 181-196 16 p.

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

• FORTEST: Formal Methods and Testing

  Bowen, J. P., Bogdanov, K., Clark, J. A., Harman, M., Hierons, R. M. & Krause, P., 2002, p. 91-104.

  Research output: Contribution to conference › Paper

• Metaheuristic Search as a Cryptological Tool

  Clark, JA., 2002, University of York. 176 p.

  Research output: Thesis › Doctoral Thesis

  Open Access

  File