John A. Clark

John Andrew Clark

	2012
86		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. 23(2): 543-553 (2012)
	2011
85		Mark Blythe, Helen Petrie, John A. Clark: F for fake: four studies on how we fall for phish. CHI 2011: 3469-3478
84		Sam Ratcliff, David Robert White, John A. Clark: Searching for invariants using genetic programming and mutation testing. GECCO 2011: 1907-1914
83		Jan Staunton, John A. Clark: Finding short counterexamples in promela models using estimation of distribution algorithms. GECCO 2011: 1923-1930
82		Tara Gilliam, Richard C. Wilson, John A. Clark: Segmentation and Normalisation in Grapheme Codebooks. ICDAR 2011: 613-617
81		Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid: Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops 2011: 207-218
80		Jan Staunton, John A. Clark: Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. SSBSE 2011: 97-111
79		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 abs/1111.2744: (2011)
78		Sevil Sen, John A. Clark: Evolutionary computation techniques for intrusion detection in mobile ad hoc networks. Computer Networks 55(15): 3441-3457 (2011)
77		Juan E. Tapiador, John A. Clark: Masquerade mimicry attack detection: A randomised approach. Computers & Security 30(5): 297-310 (2011)
76		David Robert White, Andrea Arcuri, John A. Clark: Evolutionary Improvement of Programs. IEEE Trans. Evolutionary Computation 15(4): 515-538 (2011)
	2010
75		Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles: Optimising IDS Sensor Placement. ARES 2010: 315-320
74		Juan E. Tapiador, John A. Clark: Learning Autonomic Security Reconfiguration Policies. CIT 2010: 902-909
73		David Robert White, Juan E. Tapiador, Julio César Hernández Castro, John A. Clark: Fine-Grained Timing Using Genetic Programming. EuroGP 2010: 325-336
72		Tara Gilliam, Richard C. Wilson, John A. Clark: Scribe Identification in Medieval English Manuscripts. ICPR 2010: 1880-1883
71		John A. Clark, Haitao Dan, Robert M. Hierons: Semantic Mutation Testing. ICST Workshops 2010: 100-109
70		Jan Staunton, John A. Clark: Searching for Safety Violations Using Estimation of Distribution Algorithms. ICST Workshops 2010: 212-221
69		Juan E. Tapiador, John A. Clark: Information-Theoretic Detection of Masquerade Mimicry Attacks. NSS 2010: 183-190
68		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: 5-13
67		Simon M. Poulding, John A. Clark: Efficient Software Verification: Statistical Testing Using Automated Search. IEEE Trans. Software Eng. 36(6): 763-777 (2010)
66		Xun Dong, John A. Clark, Jeremy L. Jacob: Defending the weakest link: phishing websites detection by analysing user behaviours. Telecommunication Systems 45(2-3): 215-226 (2010)
	2009
65		Sevil Sen, John A. Clark, Juan E. Tapiador: Power-Aware Intrusion Detection in Mobile Ad Hoc Networks. ADHOCNETS 2009: 224-239
64		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: 101-108
63		Sion Ll Rhys, Simon M. Poulding, John A. Clark: Using automated search to generate test data for matlab. GECCO 2009: 1697-1704
62		Kamran Ghani, John A. Clark: Automatic Test Data Generation for Multiple Condition and MCDC Coverage. ICSEA 2009: 152-157
61		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: 2940-2947
60		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: 1-5
59		Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen: A Deployment Value Model for Intrusion Detection Sensors. ISA 2009: 250-259
58		Sevil Sen, John Andrew Clark: A grammatical evolution approach to intrusion detection on mobile ad hoc networks. WISEC 2009: 95-102
57		Howard Chivers, John A. Clark, Pau-Chen Cheng: Risk profiles and distributed risk assessment. Computers & Security 28(7): 521-535 (2009)
56		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 82(11): 1753-1754 (2009)
	2008
55		Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark: MLS security policy evolution with genetic programming. GECCO 2008: 1571-1578
54		David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding: Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO 2008: 1775-1782
53		Xun Dong, John A. Clark, Jeremy L. Jacob: Threat Modelling in User Performed Authentication. ICICS 2008: 49-64
52		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: 1792-1800
51		Xun Dong, John A. Clark, Jeremy L. Jacob: User behaviour based phishing websites detection. IMCSIT 2008: 783-790
50		Sevil Sen, John A. Clark: Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. PRICAI 2008: 1053-1058
49		Andrea Arcuri, David Robert White, John A. Clark, Xin Yao: Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. SEAL 2008: 61-70
48		Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pankaj Rohatgi: Policy Evolution with Grammatical Evolution. SEAL 2008: 71-80
47		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. 20(1): 5-19 (2008)
46		Yuan Zhan, John A. Clark: A search-based framework for automatic testing of MATLAB/Simulink models. Journal of Systems and Software 81(2): 262-285 (2008)
	2007
45		Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark: An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62
44		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: 3561-3568
43		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: 99-117
42		John A. Clark, Juan E. Tapiador: Analysis of Local Optima in Block Ciphers. IACR Cryptology ePrint Archive 2007: 387 (2007)
	2006
41		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, Proceedings Springer 2006
40		Hao Chen, John A. Clark, Jeremy Jacob: Human competitive security protocols synthesis. GECCO 2006: 1855-1856
39		Yuan Zhan, John A. Clark: The state problem for test generation in Simulink. GECCO 2006: 1941-1948
38		Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
37		Paul Massey, John A. Clark, Susan Stepney: Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evolutionary Computation 14(1): 21-40 (2006)
36		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 21(2): 97-125 (2006)
	2005
35		Yuan Zhan, John A. Clark: Search-based mutation testing for Simulink models. GECCO 2005: 1061-1068
34		Paul Massey, John A. Clark, Susan Stepney: Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO 2005: 1657-1663
33		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: 31-45
32		Hao Chen, John A. Clark, Jeremy L. Jacob: Synthesising Efficient and Effective Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 25-41 (2005)
31		John A. Clark, Susan Stepney, Howard Chivers: Breaking the Model: Finalisation and a Taxonomy of Security Attacks. Electr. Notes Theor. Comput. Sci. 137(2): 225-242 (2005)
30		John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): 219-231 (2005)
29		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. 20(1): 5-19 (2005)
	2004
28		Pantelimon Stanica, Subhamoy Maitra, John A. Clark: Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. FSE 2004: 161-177
27		Yuan Zhan, John A. Clark: Search Based Automatic Test-Data Generation at an Architectural Level. GECCO (2) 2004: 1413-1424
26		Paul Massey, John A. Clark, Susan Stepney: Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) 2004: 569-580
25		Mark Harman, John A. Clark: Metrics Are Fitness Functions Too. IEEE METRICS 2004: 58-69
24		Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427
23		John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica: Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence 20(3): 450-462 (2004)
22		Hao Chen, John A. Clark, Jeremy L. Jacob: Automated Design of Security Protocols. Computational Intelligence 20(3): 503-516 (2004)
21		Howard Chivers, John A. Clark: Smart dust, friend or foe?--Replacing identity with configuration trust. Computer Networks 46(5): 723-740 (2004)
20		John A. Clark, Mark Harman, Robert M. Hierons: Editorial: Software testing in the United Kingdom. Softw. Test., Verif. Reliab. 14(3): 165-166 (2004)
	2003
19		Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
18		Matthew Russell, John A. Clark, Susan Stepney: Using Ants to Attack a Classical Cipher. GECCO 2003: 146-147
17		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: 2022-2033
16		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: 204-216
15		Howard Chivers, John A. Clark, Susan Stepney: Smart Devices and Software Agents: The Basics of Good Behaviour. SPC 2003: 39-52
14		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 150(3): 161-175 (2003)
	2002
13		Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
12		John A. Clark, Jeremy L. Jacob: Fault Injection and a Timing Channel on an Analysis Technique. EUROCRYPT 2002: 181-196
11		John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
	2001
10		John A. Clark, Jeremy L. Jacob: Protocols are programs too: the meta-heuristic search for security protocols. Information & Software Technology 43(14): 891-904 (2001)
9		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. 11(3): 207-225 (2001)
	2000
8		John A. Clark, Jeremy Jacob: Two-Stage Optimisation in the Design of Boolean Functions. ACISP 2000: 242-254
7		John A. Clark, Jeremy L. Jacob: Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. IEEE Symposium on Security and Privacy 2000: 82-95
6		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)
	1999
5		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 146(3): 130-136 (1999)
	1998
4		Nigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288
3		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. ICFEM 1998: 76-
2		Nigel Tracey, John A. Clark, Keith Mander: Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81
	1995
1		John A. Clark, Jeremy Jacob: On the Security of Recent Protocols. Inf. Process. Lett. 56(3): 151-155 (1995)

Coauthor Index

1	Andrew Adamatzky (Andy Adamatzky)	[29] [36]
2	Thomas R. Addis	[36]
3	Tom Addis	[29]
4	Dakshi Agrawal	[68]
5	Andrea Arcuri	[49] [76]
6	Iain Bate (I. J. Bate)	[45]
7	Mark Blythe	[85]
8	Kirill Bogdanov	[13]
9	Jonathan P. Bowen	[13]
10	Samuel L. Braunstein	[29] [36]
11	Phillip J. Brooke	[41]
12	Simon Burton	[3]
13	Darren L. Buttle	[5]
14	Julio César Hernández Castro (Julio C. Hernandez-Castro)	[43] [44] [60] [73] [79] [86]
15	Hao Chen	[22] [32] [40] [59] [64] [75]
16	Pau-Chen Cheng	[48] [52] [55] [57] [68]
17	Howard Chivers	[15] [21] [31] [57] [59] [64] [75]
18	David Cooper	[47]
19	Haitao Dan	[71]
20	José Javier Dolado	[14]
21	Xun Dong	[51] [53] [66]
22	Paul Emberson	[45]
23	Andy Galloway	[3]
24	Kamran Ghani	[61] [62]
25	Tara Gilliam	[72] [82]
26	Mark Harman	[13] [14] [20] [25] [56]
27	Robert M. Hierons	[13] [14] [20] [71]
28	Natalie Ivanic	[68]
29	Jeremy L. Jacob (Jeremy Jacob)	[1] [7] [8] [10] [11] [12] [17] [22] [23] [30] [32] [40] [47] [51] [53] [54] [66]
30	Colin G. Johnson	[16] [29] [36]
31	Bryan F. Jones	[14]
32	Tim Kelly (Tim P. Kelly)	[38]
33	Sun-Woo Kim	[9]
34	Paul Krause	[13]
35	Zheng Li	[56]
36	Yow Tzu Lim	[48] [52] [55]
37	Yang Liu	[33]
38	M. Lumkin	[14]
39	Subhamoy Maitra	[11] [23] [28]
40	Spiros Mancoridis	[14]
41	Keith Mander	[2] [4] [6]
42	Paul Massey	[26] [34] [37]
43	John A. McDermid	[3] [4] [5] [6] [9] [68] [81]
44	Phil McMinn	[56]
45	William Millan	[11]
46	Robin Milner	[29] [36]
47	Brian S. Mitchell	[14]
48	Philip Nobles	[59] [64] [75]
49	A. Jefferson Offutt (Jeff Offutt)	[56]
50	Richard F. Paige	[41]
51	Derek Partridge	[16] [29] [36]
52	Pedro Peris-Lopez	[60] [79] [86]
53	Helen Petrie	[85]
54	Fiona A. C. Polack (Fiona Polack)	[19] [24] [38] [41]
55	Simon M. Poulding	[45] [54] [63] [67]
56	Sam Ratcliff	[84]
57	K. Rees	[14]
58	Sion Ll Rhys	[63]
59	Pankaj Rohatgi	[48] [52] [55]
60	Marc Roper	[14]
61	Matthew Russell	[18]
62	Sevil Sen	[50] [58] [65] [78]
63	Siraj Ahmed Shaikh (Siraj A. Shaikh)	[59] [64] [75]
64	Martin J. Shepperd	[14]
65	Dave Slogget	[68]
66	Robert Elliott Smith (Robert E. Smith)	[16] [29] [36]
67	Thitima Srivatanakul	[19] [24] [38]
68	Mudhakar Srivatsa	[81]
69	Pantelimon Stanica (Pante Stanica)	[23] [28]
70	Jan Staunton	[70] [80] [83]
71	Alan Stephenson	[5]
72	Susan Stepney	[11] [15] [16] [17] [18] [19] [26] [29] [30] [31] [33] [34] [36] [37] [47]
73	El-Ghazali Talbi	[60] [86]
74	Juan E. Tapiador (Juan M. Estévez-Tapiador)	[42] [43] [44] [60] [64] [65] [68] [69] [73] [74] [77] [79] [81] [86]
75	Jonathan Timmis (Jon Timmis)	[29] [36]
76	Ian Toyn	[3]
77	Nigel Tracey	[2] [3] [4] [6]
78	Nigel J. Tracey	[5]
79	Andrew M. Tyrrell (Andy M. Tyrrell)	[29] [36]
80	Samuel H. Valentine	[3]
81	Peter H. Welch	[29] [36]
82	David Robert White	[49] [54] [73] [76] [84]
83	Richard C. Wilson	[72] [82]
84	Jim Woodcock (J. C. P. Woodcock)	[47]
85	Xin Yao	[49]
86	Yuan Zhan	[27] [35] [39] [46] [61]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page