Template your boilerplate: using template haskell for efficient generic programming. - Michael D. Adams 001; Thomas DuBuisson (Haskell, 2012)

Efficient lookup-table protocol in secure multiparty computation. - John Launchbury; Iavor S. Diatchki; Thomas DuBuisson; Andy Adams-Moran (ICFP, 2012)

Application-Scale Secure Multiparty Computation. - John Launchbury; Dave Archer 001; Thomas DuBuisson; Eric Mertens (ESOP, 2014)

Programming languages for high-assurance autonomous vehicles: extended abstract. - Lee Pike; Patrick C. Hickey; James Bielman; Trevor Elliott; Thomas DuBuisson; John Launchbury (PLPV, 2014)

What Else is Revealed by Order-Revealing Encryption? - F. Betül Durak; Thomas DuBuisson; David Cash (IACR Cryptol. ePrint Arch., 2016)

Tutorial: Static Analysis at Scale with Muse. - Stephen Magill; Thomas DuBuisson (SecDev, 2020)