Thomas DuBuisson

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Programming Language

Deformable Template

Static Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Stephen Magill, Thomas DuBuisson
Tutorial: Static Analysis at Scale with Muse. SecDev (2020)
F. Betül Durak, Thomas DuBuisson, David Cash
What Else is Revealed by Order-Revealing Encryption? IACR Cryptol. ePrint Arch. 2016 (2016)
John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
Application-Scale Secure Multiparty Computation. ESOP (2014)
Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV (2014)
Michael D. Adams, Thomas DuBuisson
Template your boilerplate: using template haskell for efficient generic programming. Haskell (2012)
John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran
Efficient lookup-table protocol in secure multiparty computation. ICFP (2012)