| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julio César Hernández Castro, Juan M. Estévez-Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi |
Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robert White, Andrea Arcuri, John A. Clark |
Evolutionary Improvement of Programs. |
IEEE Trans. Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sevil Sen, John A. Clark |
Evolutionary computation techniques for intrusion detection in mobile ad hoc networks. |
Computer Networks |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark |
Cryptanalysis of Song's advanced smart card based password authentication protocol |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juan E. Tapiador, John A. Clark |
Masquerade mimicry attack detection: A randomised approach. |
Computers & Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Ratcliff, David Robert White, John A. Clark |
Searching for invariants using genetic programming and mutation testing. |
GECCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Staunton, John A. Clark |
Finding short counterexamples in promela models using estimation of distribution algorithms. |
GECCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Gilliam, Richard C. Wilson, John A. Clark |
Segmentation and Normalisation in Grapheme Codebooks. |
ICDAR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid |
Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. |
Networking Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Staunton, John A. Clark |
Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. |
SSBSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Blythe, Helen Petrie, John A. Clark |
F for fake: four studies on how we fall for phish. |
CHI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon M. Poulding, John A. Clark |
Efficient Software Verification: Statistical Testing Using Automated Search. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Dong, John A. Clark, Jeremy L. Jacob |
Defending the weakest link: phishing websites detection by analysing user behaviours. |
Telecommunication Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Haitao Dan, Robert M. Hierons |
Semantic Mutation Testing. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Staunton, John A. Clark |
Searching for Safety Violations Using Estimation of Distribution Algorithms. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Gilliam, Richard C. Wilson, John A. Clark |
Scribe Identification in Medieval English Manuscripts. |
ICPR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robert White, Juan E. Tapiador, Julio César Hernández Castro, John A. Clark |
Fine-Grained Timing Using Genetic Programming. |
EuroGP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan E. Tapiador, John A. Clark |
Learning Autonomic Security Reconfiguration Policies. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Security Policy Inference, Mobile Ad Hoc Networks, Genetic Programming, Risk Management |
| 1 | Juan E. Tapiador, John A. Clark |
Information-Theoretic Detection of Masquerade Mimicry Attacks. |
NSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget |
Risk based Access Control with Uncertain and Time-dependent Sensitivity. |
SECRYPT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles |
Optimising IDS Sensor Placement. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark |
TAIC PART 2007 and Mutation 2007 special issue editorial. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Chivers, John A. Clark, Pau-Chen Cheng |
Risk profiles and distributed risk assessment. |
Computers & Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sion Ll Rhys, Simon M. Poulding, John A. Clark |
Using automated search to generate test data for matlab. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, matlab, search-based software engineering |
| 1 | Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen |
A Deployment Value Model for Intrusion Detection Sensors. |
ISA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi |
Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamran Ghani, John A. Clark, Yuan Zhan |
Comparing algorithms for search-based test data generation of Matlab® Simulink® models. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamran Ghani, John A. Clark |
Automatic Test Data Generation for Multiple Condition and MCDC Coverage. |
ICSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers, Philip Nobles |
A Multi-objective Optimisation Approach to IDS Sensor Placement. |
CISIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sevil Sen, John A. Clark, Juan E. Tapiador |
Power-Aware Intrusion Detection in Mobile Ad Hoc Networks. |
ADHOCNETS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sevil Sen, John Andrew Clark |
A grammatical evolution approach to intrusion detection on mobile ad hoc networks. |
WISEC |
2009 |
DBLP DOI BibTeX RDF |
security, mobile ad hoc networks, artificial intelligence, intrusion detection, grammatical evolution |
| 1 | Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob |
The certification of the Mondex electronic purse to ITSEC Level E6. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
| 1 | Yuan Zhan, John A. Clark |
A search-based framework for automatic testing of MATLAB/Simulink models. |
Journal of Systems and Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Dong, John A. Clark, Jeremy L. Jacob |
Threat Modelling in User Performed Authentication. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding |
Searching for resource-efficient programs: low-power pseudorandom number generators. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
genetic programming, automatic programming, non-functional requirements, search based software engineering, multi-objective optimisation |
| 1 | Xun Dong, John A. Clark, Jeremy L. Jacob |
User behaviour based phishing websites detection. |
IMCSIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sevil Sen, John A. Clark |
Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
MANETs, intrusion detection, Grammatical evolution |
| 1 | Andrea Arcuri, David Robert White, John A. Clark, Xin Yao |
Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. |
SEAL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark |
MLS security policy evolution with genetic programming. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
policy inference, genetic programming, security policy, MLS |
| 1 | Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi |
Policy evolution with Genetic Programming: A comparison of three approaches. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi |
Policy Evolution with Grammatical Evolution. |
SEAL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Juan E. Tapiador |
Analysis of Local Optima in Block Ciphers. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark |
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Estévez-Tapiador, John A. Clark, Julio César Hernández Castro |
Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes. |
IMA Int. Conf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Estévez-Tapiador, Julio César Hernández Castro, John A. Clark |
Heuristic search for non-linear cryptanalytic approximations. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Massey, John A. Clark, Susan Stepney |
Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. |
Evolutionary Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge |
Journeys in non-classical computation II: initial journeys and waypoints. |
IJPEDS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Chen, John A. Clark, Jeremy Jacob |
Human competitive security protocols synthesis. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
efficiency requirements, protocol refinement, security protocols, heuristic search, protocol synthesis, belief logic |
| 1 | Yuan Zhan, John A. Clark |
The state problem for test generation in Simulink. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
Matlab-Simulink, state problem, structural coverage, tracing and deducing, automation, test-data generation |
| 1 | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark |
Deviational Analyses for Validating Regulations on Real Systems. |
ReMo2V |
2006 |
DBLP BibTeX RDF |
|
| 1 | John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke (eds.) |
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings |
SPC |
2006 |
DBLP BibTeX RDF |
|
| 1 | John A. Clark, Susan Stepney, Howard Chivers |
Breaking the Model: Finalisation and a Taxonomy of Security Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Chen, John A. Clark, Jeremy L. Jacob |
Synthesising Efficient and Effective Security Protocols. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge |
Journeys in non-classical computation I: A grand challenge for computing research. |
Parallel Algorithms Appl. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob, Susan Stepney |
The Design of S-Boxes by Simulated Annealing. |
New Generation Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Zhan, John A. Clark |
Search-based mutation testing for Simulink models. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
simulated annealing, automation, heuristic search, test-data generation, mutation testing, Matlab/Simulink |
| 1 | Paul Massey, John A. Clark, Susan Stepney |
Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
quantum fourier transform, genetic algorithms, genetic programming, evolutionary computing, quantum computing |
| 1 | Yang Liu, John A. Clark, Susan Stepney |
"Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. |
SPC |
2005 |
DBLP DOI BibTeX RDF |
security requirements, Ubiquitous systems, process patterns |
| 1 | Howard Chivers, John A. Clark |
Smart dust, friend or foe?--Replacing identity with configuration trust. |
Computer Networks |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Mark Harman, Robert M. Hierons |
Editorial: Software testing in the United Kingdom. |
Softw. Test., Verif. Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Chen, John A. Clark, Jeremy L. Jacob |
Automated Design of Security Protocols. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica |
Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Zhan, John A. Clark |
Search Based Automatic Test-Data Generation at an Architectural Level. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Massey, John A. Clark, Susan Stepney |
Evolving Quantum Circuits and Programs Through Genetic Programming. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
genetic programming, Quantum computing |
| 1 | Mark Harman, John A. Clark |
Metrics Are Fitness Functions Too. |
IEEE METRICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thitima Srivatanakul, John A. Clark, Fiona Polack |
Effective Security Requirements Analysis: HAZOP and Use Cases. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
HAZOP, use case, requirement analysis, security analysis |
| 1 | Pantelimon Stanica, Subhamoy Maitra, John A. Clark |
Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. |
FSE |
2004 |
DBLP DOI BibTeX RDF |
Rotation Symmetric Boolean Function, Resiliency, Nonlinearity, Autocorrelation, Balancedness, Correlation Immunity, Bent Functions |
| 1 | John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd |
Formulating software engineering as a search problem. |
IEE Proceedings - Software |
2003 |
DBLP BibTeX RDF |
|
| 1 | Matthew Russell, John A. Clark, Susan Stepney |
Using Ants to Attack a Classical Cipher. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob, Susan Stepney |
Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack |
Challenging Formal Specifications by Mutation: a CSP security example. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
model checking, CSP, mutation testing, security properties |
| 1 | Howard Chivers, John A. Clark, Susan Stepney |
Smart Devices and Software Agents: The Basics of Good Behaviour. |
SPC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith |
Artificial Immune Systems and the Grand Challenge for Non-classical Computation. |
ICARIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause |
FORTEST: Formal Methods and Testing. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob |
Fault Injection and a Timing Channel on an Analysis Technique. |
EUROCRYPT |
2002 |
DBLP DOI BibTeX RDF |
Heuristic Optimisation, identification schemes, timing channels |
| 1 | John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan |
Evolving Boolean Functions Satisfying Multiple Criteria. |
INDOCRYPT |
2002 |
DBLP DOI BibTeX RDF |
Heuristic Optimisation, Boolean Functions, Nonlinearity, Autocorrelation, Correlation Immunity |
| 1 | Sun-Woo Kim, John A. Clark, John A. McDermid |
Investigating the effectiveness of object-oriented testing strategies using the mutation method. |
Softw. Test., Verif. Reliab. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob |
Protocols are programs too: the meta-heuristic search for security protocols. |
Information & Software Technology |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid |
Automated test-data generation for exception conditions. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy L. Jacob |
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy Jacob |
Two-Stage Optimisation in the Design of Boolean Functions. |
ACISP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey |
CONVERSE: A change-oriented process for engine controllers. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine |
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigel Tracey, John A. Clark, Keith Mander |
Automated Program Flaw Finding Using Simulated Annealing. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
exception conditions, formal specifications, software testing, simulated annealing, automatic test-case generation, optimisation techniques |
| 1 | Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid |
An Automated Framework for Structural Test-Data Generation. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Jeremy Jacob |
On the Security of Recent Protocols. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")