Holistic schedulability analysis for distributed hard real-time systems. - Ken Tindell; John A. Clark (Microprocess. Microprogramming, 1994)

On the Security of Recent Protocols. - John A. Clark; Jeremy Jacob (Inf. Process. Lett., 1995)

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. - John A. McDermid; Andy Galloway; Simon Burton 001; John A. Clark; Ian Toyn; Nigel J. Tracey; Samuel H. Valentine (ICFEM, 1998)

Automated Program Flaw Finding Using Simulated Annealing. - Nigel J. Tracey; John A. Clark; Keith Mander (ISSTA, 1998)

An Automated Framework for Structural Test-Data Generation. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (ASE, 1998)

CONVERSE: A change-oriented process for engine controllers. - Darren Lee Buttle; John A. Clark; John A. McDermid; Alan Stephenson; Nigel James Tracey (IEE Proc. Softw., 1999)

Two-Stage Optimisation in the Design of Boolean Functions. - John A. Clark; Jeremy Jacob (ACISP, 2000)

Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. - John A. Clark; Jeremy L. Jacob (S&P, 2000)

Automated test-data generation for exception conditions. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (Softw. Pract. Exp., 2000)

Protocols are programs too: the meta-heuristic search for security protocols. - John A. Clark; Jeremy L. Jacob (Inf. Softw. Technol., 2001)

Investigating the effectiveness of object-oriented testing strategies using the mutation method. - Sun-Woo Kim; John A. Clark; John A. McDermid (Softw. Test. Verification Reliab., 2001)

FORTEST: Formal Methods and Testing. - Jonathan P. Bowen; Kirill Bogdanov 002; John A. Clark; Mark Harman; Robert M. Hierons; Paul J. Krause (COMPSAC, 2002)

Fault Injection and a Timing Channel on an Analysis Technique. - John A. Clark; Jeremy L. Jacob (EUROCRYPT, 2002)

Evolving Boolean Functions Satisfying Multiple Criteria. - John A. Clark; Jeremy L. Jacob; Susan Stepney; Subhamoy Maitra; William Millan (INDOCRYPT, 2002)

Challenging Formal Specifications by Mutation: a CSP security example. - Thitima Srivatanakul; John A. Clark; Susan Stepney; Fiona Polack (APSEC, 2003)

Nature-inspired cryptography: past, present and future. - John A. Clark (IEEE Congress on Evolutionary Computation, 2003)

Making the most of two heuristics: breaking transposition ciphers with ants. - Matthew D. Russell; John A. Clark; Susan Stepney (IEEE Congress on Evolutionary Computation, 2003)

Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. - John A. Clark; Jeremy L. Jacob; Susan Stepney (GECCO, 2003)

Using Ants to Attack a Classical Cipher. - Matthew D. Russell; John A. Clark; Susan Stepney (GECCO, 2003)

Artificial Immune Systems and the Grand Challenge for Non-classical Computation. - Susan Stepney; John A. Clark; Colin G. Johnson; Derek Partridge; Robert E. Smith 001 (ICARIS, 2003)

Smart Devices and Software Agents: The Basics of Good Behaviour. - Howard Chivers; John A. Clark; Susan Stepney (SPC, 2003)

Formulating software engineering as a search problem. - 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 (IEE Proc. Softw., 2003)

Searching for cost functions. - John A. Clark; Jeremy L. Jacob; Susan Stepney (IEEE Congress on Evolutionary Computation, 2004)

Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. - Pantelimon Stanica; Subhamoy Maitra; John A. Clark (FSE, 2004)

Evolving Quantum Circuits and Programs Through Genetic Programming. - Paul Massey; John A. Clark; Susan Stepney (GECCO (2), 2004)

Search Based Automatic Test-Data Generation at an Architectural Level. - Yuan Zhan; John A. Clark (GECCO (2), 2004)

Effective Security Requirements Analysis: HAZOP and Use Cases. - Thitima Srivatanakul; John A. Clark; Fiona Polack (ISC, 2004)

Metrics Are Fitness Functions Too. - Mark Harman; John A. Clark (IEEE METRICS, 2004)

Automated Design of Security Protocols. - Hao Chen 032; John A. Clark; Jeremy L. Jacob (Comput. Intell., 2004)

Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. - John A. Clark; Jeremy L. Jacob; Subhamoy Maitra; Pantelimon Stanica (Comput. Intell., 2004)

Smart dust, friend or foe?–Replacing identity with configuration trust. - Howard Chivers; John A. Clark (Comput. Networks, 2004)

Synthesising Efficient and Effective Security Protocols. - Hao Chen 032; John A. Clark; Jeremy L. Jacob (ARSPA@IJCAR, 2004)

Playing the game: cheating, loopholes, and virtual identity. - Phillip J. Brooke; Richard F. Paige; John A. Clark; Susan Stepney (SIGCAS Comput. Soc., 2004)

Editorial: Software testing in the United Kingdom. - John A. Clark; Mark Harman; Robert M. Hierons (Softw. Test. Verification Reliab., 2004)

Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. - Paul Massey; John A. Clark; Susan Stepney (GECCO, 2005)

Search-based mutation testing for Simulink models. - Yuan Zhan; John A. Clark (GECCO, 2005)

"Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. - Yang Liu 029; John A. Clark; Susan Stepney (SPC, 2005)

Breaking the Model: Finalisation and a Taxonomy of Security Attacks. - John A. Clark; Susan Stepney; Howard Chivers (REFINE, 2005)

The Design of S-Boxes by Simulated Annealing. - John A. Clark; Jeremy L. Jacob; Susan Stepney (New Gener. Comput., 2005)

Journeys in non-classical computation I: A grand challenge for computing research. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Tom Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Parallel Algorithms Appl., 2005)

Deviational Analyses for Validating Regulations on Real Systems. - Fiona Polack; Thitima Srivatanakul; Tim Kelly; John A. Clark (ReMo2V, 2006)

Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range. - John A. Clark; Susan Stepney (IEEE Congress on Evolutionary Computation, 2006)

Human competitive security protocols synthesis. - Hao Chen 032; John A. Clark; Jeremy Jacob (GECCO, 2006)

The state problem for test generation in Simulink. - Yuan Zhan; John A. Clark (GECCO, 2006)

Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. - Paul Massey; John A. Clark; Susan Stepney (Evol. Comput., 2006)

Journeys in non-classical computation II: initial journeys and waypoints. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Thomas R. Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Int. J. Parallel Emergent Distributed Syst., 2006)

Heuristic search for non-linear cryptanalytic approximations. - Juan M. Estévez-Tapiador; Julio César Hernández Castro; John A. Clark (IEEE Congress on Evolutionary Computation, 2007)

An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. - Simon M. Poulding; Paul Emberson; Iain Bate; John A. Clark (HASE, 2007)

Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes. - Juan M. Estévez-Tapiador; John A. Clark; Julio César Hernández Castro (IMACC, 2007)

Policy evolution with Genetic Programming: A comparison of three approaches. - Yow Tzu Lim; Pau-Chen Cheng; John Andrew Clark; Pankaj Rohatgi (IEEE Congress on Evolutionary Computation, 2008)

MLS security policy evolution with genetic programming. - Yow Tzu Lim; Pau-Chen Cheng; Pankaj Rohatgi; John Andrew Clark (GECCO, 2008)

Searching for resource-efficient programs: low-power pseudorandom number generators. - David Robert White; John A. Clark; Jeremy Jacob; Simon M. Poulding (GECCO, 2008)

Threat Modelling in User Performed Authentication. - Xun Dong; John A. Clark; Jeremy L. Jacob (ICICS, 2008)

Strengthening Inferred Specifications using Search Based Testing. - Kamran Ghani; John A. Clark (ICST Workshops, 2008)

User behaviour based phishing websites detection. - Xun Dong; John A. Clark; Jeremy L. Jacob (IMCSIT, 2008)

Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. - Sevil Sen; John A. Clark (PRICAI, 2008)

Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. - Andrea Arcuri; David Robert White; John A. Clark; Xin Yao 001 (SEAL, 2008)

Policy Evolution with Grammatical Evolution. - Yow Tzu Lim; Pau-Chen Cheng; John Andrew Clark; Pankaj Rohatgi (SEAL, 2008)

The certification of the Mondex electronic purse to ITSEC Level E6. - Jim Woodcock 001; Susan Stepney; David Cooper; John A. Clark; Jeremy Jacob (Formal Aspects Comput., 2008)

A search-based framework for automatic testing of MATLAB/Simulink models. - Yuan Zhan; John A. Clark (J. Syst. Softw., 2008)

Power-Aware Intrusion Detection in Mobile Ad Hoc Networks. - Sevil Sen; John A. Clark; Juan E. Tapiador (ADHOCNETS, 2009)

Comparing algorithms for search-based test data generation of Matlab® Simulink® models. - Kamran Ghani; John A. Clark; Yuan Zhan (IEEE Congress on Evolutionary Computation, 2009)

A Multi-objective Optimisation Approach to IDS Sensor Placement. - Hao Chen 032; John A. Clark; Juan E. Tapiador; Siraj A. Shaikh; Howard Chivers; Philip Nobles (CISIS, 2009)

Using automated search to generate test data for matlab. - Sion Ll Rhys; Simon M. Poulding; John A. Clark (GECCO, 2009)

Automatic Test Data Generation for Multiple Condition and MCDC Coverage. - Kamran Ghani; John A. Clark (ICSEA, 2009)

A Deployment Value Model for Intrusion Detection Sensors. - Siraj A. Shaikh; Howard Chivers; Philip Nobles; John A. Clark; Hao Chen 032 (ISA, 2009)

A grammatical evolution approach to intrusion detection on mobile ad hoc networks. - Sevil Sen; John Andrew Clark (WISEC, 2009)

Risk profiles and distributed risk assessment. - Howard Chivers; John A. Clark; Pau-Chen Cheng (Comput. Secur., 2009)

TAIC PART 2007 and Mutation 2007 special issue editorial. - Mark Harman; Zheng Li 002; Phil McMinn; Jeff Offutt; John A. Clark (J. Syst. Softw., 2009)

Intrusion Detection in Mobile Ad Hoc Networks. - Sevil Sen; John Andrew Clark (Guide to Wireless Ad Hoc Networks, 2009)

Optimising IDS Sensor Placement. - Hao Chen 032; John A. Clark; Siraj A. Shaikh; Howard Chivers; Philip Nobles (ARES, 2010)

Learning Autonomic Security Reconfiguration Policies. - Juan E. Tapiador; John A. Clark (CIT, 2010)

Fine-Grained Timing Using Genetic Programming. - David Robert White; Juan E. Tapiador; Julio César Hernández Castro; John A. Clark (EuroGP, 2010)

Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. - John A. Clark; Juan E. Tapiador; John A. McDermid; Pau-Chen Cheng; Dakshi Agrawal; Natalie Ivanic; Dave Slogget (ICETE (Selected Papers), 2010)

Scribe Identification in Medieval English Manuscripts. - Tara Gilliam; Richard C. Wilson 001; John A. Clark (ICPR, 2010)

Searching for Safety Violations Using Estimation of Distribution Algorithms. - Jan Staunton; John A. Clark (ICST Workshops, 2010)

Information-Theoretic Detection of Masquerade Mimicry Attacks. - Juan E. Tapiador; John A. Clark (NSS, 2010)

Risk based Access Control with Uncertain and Time-dependent Sensitivity. - John A. Clark; Juan E. Tapiador; John A. McDermid; Pau-Chen Cheng; Dakshi Agrawal; Natalie Ivanic; Dave Slogget (SECRYPT, 2010)

Defending the weakest link: phishing websites detection by analysing user behaviours. - Xun Dong; John A. Clark; Jeremy L. Jacob (Telecommun. Syst., 2010)

Efficient Software Verification: Statistical Testing Using Automated Search. - Simon M. Poulding; John A. Clark (IEEE Trans. Software Eng., 2010)

F for fake: four studies on how we fall for phish. - Mark Blythe; Helen Petrie; John A. Clark (CHI, 2011)

Searching for invariants using genetic programming and mutation testing. - Sam Ratcliff; David Robert White; John A. Clark (GECCO, 2011)

Finding short counterexamples in promela models using estimation of distribution algorithms. - Jan Staunton; John A. Clark (GECCO, 2011)

Segmentation and Normalisation in Grapheme Codebooks. - Tara Gilliam; Richard C. Wilson 001; John A. Clark (ICDAR, 2011)

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. - Simon M. Poulding; John A. Clark; Hélène Waeselynck (ICST Workshops, 2011)

Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. - Juan E. Tapiador; Mudhakar Srivatsa; John A. Clark; John A. McDermid (Networking Workshops, 2011)

Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. - Jan Staunton; John A. Clark (SSBSE, 2011)

Evolutionary computation techniques for intrusion detection in mobile ad hoc networks. - Sevil Sen; John A. Clark (Comput. Networks, 2011)

Masquerade mimicry attack detection: A randomised approach. - Juan E. Tapiador; John A. Clark (Comput. Secur., 2011)

Cryptanalysis of Song's advanced smart card based password authentication protocol - Juan E. Tapiador; Julio C. Hernandez-Castro; Pedro Peris-Lopez; John A. Clark (CoRR, 2011)

Evolutionary Improvement of Programs. - David Robert White; Andrea Arcuri; John A. Clark (IEEE Trans. Evol. Comput., 2011)

Dynamic adaptive search based software engineering. - Mark Harman; Edmund K. Burke; John A. Clark; Xin Yao 001 (ESEM, 2012)

MESSI: Mutant Evaluation by Static Semantic Interpretation. - Matthew Patrick; Manuel Oriol; John A. Clark (ICST, 2012)

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). - Mark Harman; William B. Langdon; Yue Jia 001; David Robert White; Andrea Arcuri; John A. Clark (ASE, 2012)

Searching for Pareto-optimal Randomised Algorithms. - Alan G. Millard; David Robert White; John A. Clark (SSBSE, 2012)

Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. - Julio César Hernández Castro; Juan M. Estévez-Tapiador; Pedro Peris-Lopez; John A. Clark; El-Ghazali Talbi (Int. J. Found. Comput. Sci., 2012)

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (APSEC (1), 2013)

SE and AI: A two-way street. - John A. Clark (RAISE@ICSE, 2013)

Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote). - Mark Harman; John A. Clark; Mel Ó Cinnéide (WETSoM, 2013)

Using Mutation Analysis to Evolve Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2013)

Efficient Subdomains for Random Testing. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (SSBSE, 2013)

The placement-configuration problem for intrusion detection nodes in wireless sensor networks. - Juan E. Tapiador; John A. Clark (Comput. Electr. Eng., 2013)

Genetic algorithms and solid state NMR pulse sequences. - Matthias Bechmann; John A. Clark; Angelika Sebald (CoRR, 2013)

Using evolutionary computation to create vectorial Boolean functions with low differential uniformity and high nonlinearity - James McLaughlin 003; John A. Clark (CoRR, 2013)

Evolving balanced Boolean functions with optimal resistance to algebraic and fast algebraic attacks, maximal algebraic degree, and very high nonlinearity. - James McLaughlin 003; John A. Clark (IACR Cryptol. ePrint Arch., 2013)

Nonlinear cryptanalysis of reduced-round Serpent and metaheuristic search for S-box approximations. - James McLaughlin 003; John A. Clark (IACR Cryptol. ePrint Arch., 2013)

Filtered nonlinear cryptanalysis of reduced-round Serpent, and the Wrong-Key Randomization Hypothesis. - James McLaughlin 003; John A. Clark (IACR Cryptol. ePrint Arch., 2013)

Guest Editorial: Special section of the best papers from the 2nd International Symposium on Search Based Software Engineering 2010. - Lionel C. Briand; John A. Clark (Inf. Softw. Technol., 2013)

Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise. - Howard Chivers; John A. Clark; Philip Nobles; Siraj A. Shaikh; Hao Chen 032 (Inf. Syst. Frontiers, 2013)

An orchestrated survey of methodologies for automated software test case generation. - Saswat Anand; Edmund K. Burke; Tsong Yueh Chen; John A. Clark; Myra B. Cohen; Wolfgang Grieskamp; Mark Harman; Mary Jean Harrold; Phil McMinn (J. Syst. Softw., 2013)

Semantic mutation testing. - John A. Clark; Haitao Dan; Robert M. Hierons (Sci. Comput. Program., 2013)

Mutation Testing for Jason Agents. - Zhan Huang 001; Rob Alexander; John A. Clark (EMAS@AAMAS, 2014)

The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract. - Geoffrey Neumann; Jerry Swan; Mark Harman; John A. Clark (GECCO (Companion), 2014)

Probability-Based Semantic Interpretation of Mutants. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (ICST Workshops, 2014)

Trustworthy placements: Improving quality and resilience in collaborative attack detection. - Manuel Gil Pérez; Juan E. Tapiador; John A. Clark; Gregorio Martínez Pérez; Antonio Fernandez Gómez-Skarmeta (Comput. Networks, 2014)

Subdomain-based test data generation. - Matthew Patrick; Robert Alexander; Manuel Oriol; John A. Clark (J. Syst. Softw., 2015)

The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. - Simon M. Poulding; Robert Alexander; John A. Clark; Mark J. Hadley (J. Syst. Softw., 2015)

SAFEDroid: Using Structural Features for Detecting Android Malwares. - Sevil Sen; Ahmet Ilhan Aysan; John A. Clark (ATCS/SePrIoT@SecureComm, 2017)

Data-Driven Search-Based Software Engineering (NII Shonan Meeting 2017-19). - Markus Wagner 007; Leandro L. Minku; Ahmed E. Hassan; John A. Clark (NII Shonan Meet. Rep., 2017)

Search-Based Temporal Testing in an Embedded Multicore Platform. - Komsan Srivisut; John A. Clark; Richard F. Paige (EvoApplications, 2018)

Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. - Komsan Srivisut; John A. Clark; Richard F. Paige (GECCO, 2018)

Applying Cartesian Genetic Programming to Evolve Rules for Intrusion Detection System. - Hasanen Alyasiri; John A. Clark; Daniel Kudenko (IJCCI, 2018)

Evolutionary Computation Algorithms for Detecting Known and Unknown Attacks. - Hasanen Alyasiri; John A. Clark; Daniel Kudenko (SecITC, 2018)

Evaluation of Mutation Testing in a Nuclear Industry Case Study. - Pedro Delgado-Pérez; Ibrahim Habli; Steve Gregory; Rob Alexander; John A. Clark; Inmaculada Medina-Bulo (IEEE Trans. Reliab., 2018)

Optimising trotter-suzuki decompositions for quantum simulation using evolutionary strategies. - Benjamin D. M. Jones; David Robert White; George O. O'Brien; John A. Clark; Earl T. Campbell (GECCO, 2019)

Efficient Evolutionary Fuzzing for Android Application Installation Process. - Veysel Hatas; Sevil Sen; John A. Clark (QRS, 2019)

Behaviour-Based Biometrics for Continuous User Authentication to Industrial Collaborative Robots. - Shurook S. Almohamade; John A. Clark; James Law (SECITC, 2020)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. - Mario Gleirscher; Nikita Johnson; Panayiotis Karachristou; Radu Calinescu; James Law; John A. Clark (CoRR, 2020)

Continuous User Authentication for Human-Robot Collaboration. - Shurook S. Almohamade; John A. Clark; James Law (ARES, 2021)

Mimicry Attacks Against Behavioural-Based User Authentication for Human-Robot Interaction. - Shurook S. Almohamade; John A. Clark; James Law (ETAA, 2021)

Using Genetic Improvement to Retarget quantum Software on Differing Hardware. - George O. O'Brien; John A. Clark (GI@ICSE, 2021)

Grammatical Evolution for Detecting Cyberattacks in Internet of Things Environments. - Hasanen Alyasiri; John A. Clark; Ali Malik; Ruairí de Fréin (ICCCN, 2021)

Bayesian Hyper-Parameter Optimization for Malware Detection. - Fahad T. AlGorain; John A. Clark (AI-Cybersec@SGAI, 2021)

Electricity Theft Detection in the Presence of Prosumers Using a Cluster-based Multi-feature Detection Model. - Arwa Alromih; John A. Clark; Prosanta Gope 001 (SmartGridComm, 2021)

Reinforcement-Learning-based IDS for 6LoWPAN. - Aryan Mohammadi Pasikhani; John A. Clark; Prosanta Gope 001 (TrustCom, 2021)

Systematic review of features for co-simulating security incidents in Cyber-Physical Systems. - Ricardo M. Czekster; Charles Morisset; John A. Clark; Sadegh Soudjani; Charalampos Patsios; Peter Davison (Secur. Priv., 2021)

Transfer Learning Approach to Discover IDS Configurations Using Deep Neural Networks. - Abdulmonem Alshahrani; John A. Clark (CCCI, 2022)

Neural Network Approximation of Simulation-based IDS Fitness Evaluation. - Abdulmonem Alshahrani; John A. Clark (CSE, 2022)

On Optimal Configuration of IDS for RPL Resource-Constrained Networks Using Evolutionary Algorithm. - Abdulmonem Alshahrani; John A. Clark (FTC (2), 2022)

Privacy-Aware Split Learning Based Energy Theft Detection for Smart Grids. - Arwa Alromih; John A. Clark; Prosanta Gope 001 (ICICS, 2022)

Enhanced Scanning in SDN Networks and its Detection using Machine Learning. - Abdullah H. Alqahtani; John A. Clark (TPS-ISA, 2022)

Adaptive Hybrid Heterogeneous IDS for 6LoWPAN. - Aryan Mohammadi Pasikhani; John A. Clark; Prosanta Gope 001 (CoRR, 2022)

Adversarial RL-Based IDS for Evolving Data Environment in 6LoWPAN. - Aryan Mohammadi Pasikhani; John A. Clark; Prosanta Gope 001 (IEEE Trans. Inf. Forensics Secur., 2022)

Privacy Awareness Among Users of Digital Healthcare Services in Saudi Arabia. - Hebah A. Albatati; John A. Clark; Maysoon F. Abulkhair (HCI (35), 2023)

A Privacy-Preserving Energy Theft Detection Model for Effective Demand-Response Management in Smart Grids. - Arwa Alromih; John A. Clark; Prosanta Gope 001 (CoRR, 2023)

Incremental hybrid intrusion detection for 6LoWPAN. - Aryan Mohammadi Pasikhani; John A. Clark; Prosanta Gope 001 (Comput. Secur., 2023)

User-empowered secure privacy-preserving authentication scheme for Digital Twin. - Chintan Patel; Aryan Mohammadi Pasikhani; Prosanta Gope 001; John A. Clark (Comput. Secur., 2024)

AIDPS: Adaptive Intrusion Detection and Prevention System for Underwater Acoustic Sensor Networks. - Soumadeep Das; Aryan Mohammadi Pasikhani; Prosanta Gope 001; John A. Clark; Chintan Patel; Biplab Sikdar 001 (IEEE/ACM Trans. Netw., 2024)