ORCID as entered in ROS
![orcid_icon](/themes/resgate8/images/icons/ORCIDiD_icon24x24.png)
Select Publications
2023, A survey of Digital Manufacturing Hardware and Software Trojans, , http://arxiv.org/abs/2301.10336v1
,2022, Benchmarking Large Language Models for Automated Verilog RTL Code Generation, , http://arxiv.org/abs/2212.11140v1
,2022, Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design, , http://dx.doi.org/10.1145/3508352.3549369
,2022, Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants, , http://arxiv.org/abs/2208.09727v4
,2022, High-Level Approaches to Hardware Security: A Tutorial, , http://dx.doi.org/10.1145/3577200
,2022, Pop Quiz! Can a Large Language Model Help With Reverse Engineering?, , http://arxiv.org/abs/2202.01142v1
,2021, Examining Zero-Shot Vulnerability Repair with Large Language Models, , http://arxiv.org/abs/2112.02125v3
,2021, Needle in a Haystack: Detecting Subtle Malicious Edits to Additive Manufacturing G-code Files, , http://dx.doi.org/10.1109/LES.2021.3129108
,2021, Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers, , http://arxiv.org/abs/2110.01974v1
,2021, Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions, , http://arxiv.org/abs/2108.09293v3
,2021, FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing, , http://arxiv.org/abs/2104.09562v1
,2020, DAVE: Deriving Automatically Verilog from English, , http://dx.doi.org/10.1145/3380446.3430634
,2020, Designing Neural Networks for Real-Time Systems, , http://dx.doi.org/10.1109/LES.2020.3009910
,2022, Formal Methods for the Security of Medical Devices1, Wiley, , http://dx.doi.org/10.1002/9781119743187.ch3
,