Differential privacy for collaborative security. - Jason Reed 001; Adam J. Aviv; Daniel Wagner 001; Andreas Haeberlen; Benjamin C. Pierce; Jonathan M. Smith (EUROSEC, 2010)

Symmetric lenses. - Martin Hofmann 001; Benjamin C. Pierce; Daniel Wagner 001 (POPL, 2011)

Edit lenses. - Martin Hofmann 001; Benjamin C. Pierce; Daniel Wagner 001 (POPL, 2012)

Edit languages for information trees. - Martin Hofmann 001; Benjamin C. Pierce; Daniel Wagner 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. - Kevin Lewi; Alex J. Malozemoff; Daniel Apon; Brent Carmer; Adam Foltzer; Daniel Wagner 001; David W. Archer; Dan Boneh; Jonathan Katz; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2016)

BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption. - Robin Geelen; Michiel Van Beirendonck; Hilder V. L. Pereira; Brian Huffman; Tynan McAuley; Ben Selfridge; Daniel Wagner 001; Georgios D. Dimou; Ingrid Verbauwhede; Frederik Vercauteren; David W. Archer (IACR Cryptol. ePrint Arch., 2022)

BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption. - Robin Geelen; Michiel Van Beirendonck; Hilder V. L. Pereira; Brian Huffman; Tynan McAuley; Ben Selfridge; Daniel Wagner 001; Georgios D. Dimou; Ingrid Verbauwhede; Frederik Vercauteren; David W. Archer (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)