2 papers
cs.SE2024★ 65 cited
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
Mohamad Fakih, Rahul Dharmaji, Yasamin Moghaddas +3
Although Large Language Models (LLMs) have established pre-dominance in automated code generation, they are not devoid of shortcomings. The pertinent issues primarily relate to the…
cs.CR2021
Technical Report for HW2VEC -- A Graph Learning Tool for Automating Hardware Security
Yasamin Moghaddas, Tommy Nguyen, Shih-Yuan Yu +2
In this technical report, we present HW2VEC [11], an open-source graph learning tool for hardware security, and its implementation details (Figure 1). HW2VEC provides toolboxes for…