The Industrial Age of Hacking. - Timothy Nosco; Jared Ziegler; Zechariah Clark; Davy Marrero; Todd Finkler; Andrew Barbarello; W. Michael Petullo (USENIX Security Symposium, 2020)

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)

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