Brian Huffman

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 9

Top Topics

Mathematical Analysis

Formal Verification

Homomorphic Encryption

Top Venues

Publications

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
BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (4) (2023)
Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer
BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption. CoRR (2022)
Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer
BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption. IACR Cryptol. ePrint Arch. 2022 (2022)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
Verified Cryptographic Code for Everybody. CAV (1) (2021)
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
Formal Verification of Flow Equivalence in Desynchronized Designs. ASYNC (2020)
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
Formal Verification of Flow Equivalence in Desynchronized Designs. CoRR (2020)
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
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
HOLCF-Prelude. Arch. Formal Proofs 2017 (2017)
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE (2016)
Michael Norrish, Brian Huffman
Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1. ITP (2013)
Johannes Hölzl, Fabian Immler, Brian Huffman
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ITP (2013)
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
SAW: the software analysis workbench. HILT (2013)
Brian Huffman, Ondrej Kuncar
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. CPP (2013)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
Certified HLints with Isabelle/HOLCF-Prelude. CoRR (2013)
Brian Huffman
Type Constructor Classes and Monad Transformers. Arch. Formal Proofs 2012 (2012)
Brian Huffman
Formal verification of monad transformers. ICFP (2012)
Brian Huffman
Formal Verification of Monad Transformers CoRR (2012)
Brian Huffman, Christian Urban
A New Foundation for Nominal Isabelle. ITP (2010)
Brian Huffman
Free Boolean Algebra. Arch. Formal Proofs 2010 (2010)
Brian Huffman
A Purely Definitional Universal Domain. TPHOLs (2009)
Brian Huffman
Stream Fusion. Arch. Formal Proofs 2009 (2009)
Brian Huffman, John Matthews, Peter White
Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs (2005)
Brian Huffman
Countable Ordinals. Arch. Formal Proofs 2005 (2005)