65 citations · 93 across the 21 of their papers we have counts for
6 papers · 1 filter
RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
Detecting kinetic vulnerabilities in Cyber-Physical Systems (CPS), vulnerabilities in control code that can precipitate hazardous physical consequences, is a critical challenge. Th…
BayesImposter: Bayesian Estimation Based .bss Imposter Attack on Industrial Control Systems
Anomadarshi Barua, Lelin Pan, Mohammad Abdullah Al Faruque
Over the last six years, several papers used memory deduplication to trigger various security issues, such as leaking heap-address and causing bit-flip in the physical memory. The…
Hardware Trojan Detection using Graph Neural Networks
Rozhin Yasaei, Luke Chen, Shih-Yuan Yu +1
The globalization of the Integrated Circuit (IC) supply chain has moved most of the design, fabrication, and testing process from a single trusted entity to various untrusted third…
Multi-Modal Attack Detection for Cyber-Physical Additive Manufacturing
Shih-Yuan Yu, Arnav Vaibhav Malawade, Mohammad Abdullah Al Faruque
Cyber-Physical Additive Manufacturing (AM) constructs a physical 3D object layer-by-layer according to its digital representation and has been vastly applied to fast prototyping an…
HW2VEC: A Graph Learning Tool for Automating Hardware Security
Shih-Yuan Yu, Rozhin Yasaei, Qingrong Zhou +2
The time-to-market pressure and continuous growing complexity of hardware designs have promoted the globalization of the Integrated Circuit (IC) supply chain. However, such globali…
GNN4IP: Graph Neural Network for Hardware Intellectual Property Piracy Detection
Rozhin Yasaei, Shih-Yuan Yu, Emad Kasaeyan Naeini +1
Aggressive time-to-market constraints and enormous hardware design and fabrication costs have pushed the semiconductor industry toward hardware Intellectual Properties (IP) core de…