Brian Huffman

24 papers A 1B 4Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
$\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis.
CAV (3)
Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia
2023 J jnl
BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
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
2022 J jnl
BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption.
CoRR
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
2022 J jnl
BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
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
2021 — conf
Verified Cryptographic Code for Everybody.
CAV (1)
Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu
2020 — conf
Formal Verification of Flow Equivalence in Desynchronized Designs.
ASYNC
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2020 J jnl
Formal Verification of Flow Equivalence in Desynchronized Designs.
CoRR
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel
2018 — conf
Continuous Formal Verification of Amazon s2n.
CAV (2)
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
2017 J jnl
HOLCF-Prelude.
Arch. Formal Proofs
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2016 — conf
Constructing Semantic Models of Programs with the Software Analysis Workbench.
VSTTE
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
2013 J jnl
Certified HLints with Isabelle/HOLCF-Prelude.
CoRR
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2013 B conf
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL.
CPP
Brian Huffman, Ondrej Kuncar
2013 B conf
Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1.
ITP
Michael Norrish, Brian Huffman
2013 — conf
SAW: the software analysis workbench.
HILT
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
2013 B conf
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.
ITP
Johannes Hölzl, Fabian Immler, Brian Huffman
2012 J jnl
Formal Verification of Monad Transformers
CoRR
Brian Huffman
2012 A conf
Formal verification of monad transformers.
ICFP
Brian Huffman
2012 J jnl
Type Constructor Classes and Monad Transformers.
Arch. Formal Proofs
Brian Huffman
2010 B conf
A New Foundation for Nominal Isabelle.
ITP
Brian Huffman, Christian Urban
2010 J jnl
Free Boolean Algebra.
Arch. Formal Proofs
Brian Huffman
2009 — conf
A Purely Definitional Universal Domain.
TPHOLs
Brian Huffman
2009 J jnl
Stream Fusion.
Arch. Formal Proofs
Brian Huffman
2005 — conf
Axiomatic Constructor Classes in Isabelle/HOLCF.
TPHOLs
Brian Huffman, John Matthews, Peter White
2005 J jnl
Countable Ordinals.
Arch. Formal Proofs
Brian Huffman