Garett Cunningham

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Mathematical Knowledge

Information Flow

Security Threats

Top Venues

Publications

Garett Cunningham, Harsha Chenji, David Juedes, Avinash Karanth
d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems. ASPDAC (2024)
Garett Cunningham, Razvan C. Bunescu, David Juedes
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. CoRR (2023)