Hammond Pearce
Hammond Pearce
NYU Tandon School of Engineering
Verified email at - Homepage
Cited by
Cited by
Smart I/O modules for mitigating cyber-physical attacks on industrial control systems
H Pearce, S Pinisetty, PS Roop, MMY Kuo, A Ukil
IEEE Transactions on Industrial Informatics 16 (7), 4659-4669, 2019
Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
H Pearce, B Ahmad, B Tan, B Dolan-Gavitt, R Karri
2022 IEEE Symposium on Security and Privacy (SP), 980-994, 2022
A model driven approach for cardiac pacemaker design using a PRET processor
N Allen, H Pearce, P Roop, R von Hanxleden
2017 IEEE 20th International Symposium on Real-Time Distributed Computing†…, 2017
Synchronous neural networks for cyber-physical systems
PS Roop, H Pearce, K Monadjem
2018 16th ACM/IEEE International Conference on Formal Methods and Models for†…, 2018
RunSync: A predictable runtime for precision timed automation systems
HA Pearce, MMY Kuo, PS Roop, M Biglari-Abhari
2016 IEEE 19th International Symposium on Real-Time Distributed Computing†…, 2016
Designing Neural Networks for Real-Time Systems
H Pearce, X Yang, PS Roop, M Katzef, TB StrÝm
IEEE Embedded Systems Letters 13 (3), 94-97, 2020
A compositional approach using Keras for neural networks in real-time systems
X Yang, P Roop, H Pearce, JW Ro
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE†…, 2020
Securing implantable medical devices with runtime enforcement hardware
H Pearce, MMY Kuo, PS Roop, S Pinisetty
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods†…, 2019
FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing
H Pearce, K Yanamandra, N Gupta, R Karri
IEEE/ASME Transactions on Mechatronics, 2022
Can OpenAI Codex and Other Large Language Models Help Us Fix Security Bugs?
H Pearce, B Tan, B Ahmad, R Karri, B Dolan-Gavitt
arXiv preprint arXiv:2112.02125, 2021
Dave: Deriving automatically verilog from english
H Pearce, B Tan, R Karri
2020 ACM/IEEE 2nd Workshop on Machine Learning for CAD (MLCAD), 27-32, 2020
Synthesizing IEC 61499 Function Blocks to hardware
H Pearce, P Roop
2019 International Conference on Electronics, Information, and Communication†…, 2019
Faster function blocks for precision timed industrial automation
H Pearce, P Roop, M Biglari-Abhari, M Schoeberl
2018 IEEE 21st International Symposium on Real-Time Distributed Computing†…, 2018
Pop Quiz! Can a Large Language Model Help With Reverse Engineering?
H Pearce, B Tan, P Krishnamurthy, F Khorrami, R Karri, B Dolan-Gavitt
arXiv preprint arXiv:2202.01142, 2022
Uncertainty quantification in dimensions dataset of additive manufactured NIST standard test artifact
G Mac, H Pearce, R Karri, N Gupta
Data in Brief 38, 107286, 2021
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers
H Pearce, X Yang, S Pinisetty, PS Roop
arXiv preprint arXiv:2110.01974, 2021
Simulation of cyber-physical systems using IEC61499
HA Pearce, MMY Kuo, N Allen, PS Roop, A Malik
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods†…, 2017
High-Level Approaches to Hardware Security: A Tutorial
H Pearce, R Karri, B Tan
arXiv preprint arXiv:2207.10466, 2022
Detecting Hardware Trojans in PCBs Using Side Channel Loopbacks
H Pearce, VR Surabhi, P Krishnamurthy, J Trujillo, R Karri, F Khorrami
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2022
Formal Methods for the Security of Medical Devices 1
S Pinisetty, N Allen, H Pearce, M Trew, M Singh Gaur, P Roop
Applied Smart Health Care Informatics: A Computational Intelligence†…, 2022
The system can't perform the operation now. Try again later.
Articles 1–20