Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs. - Garett Cunningham; Razvan C. Bunescu; David Juedes (CoRR, 2023)

d-GUARD: Thwarting Denial-of-Service Attacks via Hardware Monitoring of Information Flow using Language Semantics in Embedded Systems. - Garett Cunningham; Harsha Chenji; David Juedes; Avinash Karanth (ASPDAC, 2024)

Language semantics to support secure computation and communication in embedded systems via hardware monitors. - Garett Cunningham; Siqin Liu; Harsha Chenji; David Juedes; Avinash Karanth (Integr., 2025)