Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Preprints
, 2023, FLAG: Finding Line Anomalies (in code) with Generative AI, http://dx.doi.org/10.48550/arxiv.2306.12643
, 2023, High-Level Approaches to Hardware Security: A Tutorial, http://dx.doi.org/10.48550/arxiv.2207.10466
, 2023, Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants, http://dx.doi.org/10.48550/arxiv.2208.09727
, 2023, Fixing Hardware Security Bugs with Large Language Models, http://dx.doi.org/10.48550/arxiv.2302.01215
, 2023, A survey of Digital Manufacturing Hardware and Software Trojans, http://dx.doi.org/10.48550/arxiv.2301.10336
, 2022, Benchmarking Large Language Models for Automated Verilog RTL Code Generation, http://dx.doi.org/10.48550/arxiv.2212.11140
, 2022, Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design, http://dx.doi.org/10.48550/arxiv.2209.01291
, 2022, Examining Zero-Shot Vulnerability Repair with Large Language Models, http://dx.doi.org/10.48550/arxiv.2112.02125
, 2022, Pop Quiz! Can a Large Language Model Help With Reverse Engineering?, http://dx.doi.org/10.48550/arxiv.2202.01142
, 2021, Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions, http://dx.doi.org/10.48550/arxiv.2108.09293
, 2021, Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-code Files, http://dx.doi.org/10.48550/arxiv.2111.12746
, 2021, Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers, http://dx.doi.org/10.48550/arxiv.2110.01974
, 2021, FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing, http://dx.doi.org/10.48550/arxiv.2104.09562
, 2020, DAVE: Deriving Automatically Verilog from English, http://dx.doi.org/10.48550/arxiv.2009.01026
, 2020, Designing Neural Networks for Real-Time Systems, http://dx.doi.org/10.48550/arxiv.2008.11830
Other
, 2022, Formal Methods for the Security of Medical Devices1, http://dx.doi.org/10.1002/9781119743187.ch3