Thomas DuBuisson

According to our database, Thomas DuBuisson authored at least 6 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Tutorial: Static Analysis at Scale with Muse.

Stephen Magill, Thomas DuBuisson

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

2016

What Else is Revealed by Order-Revealing Encryption?

F. Betül Durak, Thomas DuBuisson, David Cash

IACR Cryptol. ePrint Arch., 2016

2014

Programming languages for high-assurance autonomous vehicles: extended abstract.

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Application-Scale Secure Multiparty Computation.

John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens

Proceedings of the Programming Languages and Systems, 2014

2012

Efficient lookup-table protocol in secure multiparty computation.

John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Template your boilerplate: using template haskell for efficient generic programming.

Michael D. Adams, Thomas DuBuisson

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012