2 papers
cs.CR2024
(Security) Assertions by Large Language Models
Rahul Kande, Hammond Pearce, Benjamin Tan +4
The security of computer systems typically relies on a hardware root of trust. As vulnerabilities in hardware can have severe implications on a system, there is a need for techniqu…
cs.CR2024
REMaQE: Reverse Engineering Math Equations from Executables
Meet Udeshi, Prashanth Krishnamurthy, Hammond Pearce +2
Cybersecurity attacks on embedded devices for industrial control systems and cyber-physical systems may cause catastrophic physical damage as well as economic loss. This could be a…