Brian Huffman

According to our database, Brian Huffman authored at least 20 papers between 2005 and 2023.

Collaborative distances:

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

2023

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, Georgios D. Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

2022

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, Georgios D. Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer

IACR Cryptol. ePrint Arch., 2022

2021

Verified Cryptographic Code for Everybody.

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Formal Verification of Flow Equivalence in Desynchronized Designs.

Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2018

Continuous Formal Verification of Amazon s2n.

Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

HOLCF-Prelude.

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel

Arch. Formal Proofs, 2017

2016

Constructing Semantic Models of Programs with the Software Analysis Workbench.

Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013

Certified HLints with Isabelle/HOLCF-Prelude.

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel

CoRR, 2013

SAW: the software analysis workbench.

Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1.

Michael Norrish, Brian Huffman

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.

Johannes Hölzl, Fabian Immler, Brian Huffman

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL.

Brian Huffman, Ondrej Kuncar

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

Type Constructor Classes and Monad Transformers.

Brian Huffman

Arch. Formal Proofs, 2012

Formal verification of monad transformers.

Brian Huffman

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

2010

Free Boolean Algebra.

Brian Huffman

Arch. Formal Proofs, 2010

A New Foundation for Nominal Isabelle.

Brian Huffman, Christian Urban

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Stream Fusion.

Brian Huffman

Arch. Formal Proofs, 2009

A Purely Definitional Universal Domain.

Brian Huffman

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2005

Countable Ordinals.

Brian Huffman

Arch. Formal Proofs, 2005

Axiomatic Constructor Classes in Isabelle/HOLCF.

Brian Huffman, John Matthews, Peter White

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005