Formalized High Level Synthesis with Applications to Cryptographic Hardware. - William L. Harrison; Ian Blumenfeld; Eric Bond; Chris Hathhorn; Paul Li; May Torrence; Jared Ziegler (NFM, 2023)

Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling. - Eric Bond; Matthew Heimerdinger (SecDev, 2023)

A Formal Algebraic Framework for DSL Composition. - Zachary Flores; Angelo Taranto; Eric Bond (CoRR, 2023)

A Formalization of Operads in Coq. - Zachary Flores; Angelo Taranto; Eric Bond; Yakir Forman (CoRR, 2023)

Automated Theory Substitution Toward Proof-Driven Software Development. - John Scebold; Eric Bond; Emily Gray; Jared Ziegler (SERA, 2024)