Lifting and Transfer: A modular design for quotients in Isabelle/HOL B Huffman, O Kunčar Certified Programs and Proofs: Third International Conference, CPP 2013 …, 2013 | 171 | 2013 |
Type classes and filters for mathematical analysis in Isabelle/HOL J Hölzl, F Immler, B Huffman Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 110 | 2013 |
Continuous formal verification of Amazon s2n A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ... Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 74 | 2018 |
Constructing semantic models of programs with the software analysis workbench R Dockins, A Foltzer, J Hendrix, B Huffman, D McNamee, A Tomb Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 65 | 2016 |
A new foundation for Nominal Isabelle B Huffman, C Urban Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010 | 33 | 2010 |
Axiomatic constructor classes in Isabelle/HOLCF B Huffman, J Matthews, P White Theorem Proving in Higher Order Logics: 18th International Conference …, 2005 | 32 | 2005 |
HOLCF'11: A definitional domain theory for verifying functional programs BC Huffman Portland State University, 2012 | 30 | 2012 |
BASALISC: programmable asynchronous hardware accelerator for BGV fully homomorphic encryption R Geelen, M Van Beirendonck, HVL Pereira, B Huffman, T McAuley, ... arXiv preprint arXiv:2205.14017, 2022 | 26 | 2022 |
SAW: the software analysis workbench K Carter, A Foltzer, J Hendrix, B Huffman, A Tomb Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013 | 25 | 2013 |
A purely definitional universal domain B Huffman Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 20 | 2009 |
Formal verification of monad transformers B Huffman Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 17 | 2012 |
Verified cryptographic code for everybody B Boston, S Breese, J Dodds, M Dodds, B Huffman, A Petcher, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 10 | 2021 |
BASALISC: programmable hardware accelerator for BGV fully homomorphic encryption R Geelen, M Van Beirendonck, HV Lima Pereira, B Huffman, T McAuley, ... IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 (4), 32-57, 2023 | 8 | 2023 |
Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1 M Norrish, B Huffman Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 8 | 2013 |
Reasoning with powerdomains in Isabelle/HOLCF B Huffman TPHOLs, 45-56, 2008 | 7 | 2008 |
Certified HLints with Isabelle/HOLCF-Prelude J Breitner, B Huffman, N Mitchell, C Sternagel arXiv preprint arXiv:1306.1340, 2013 | 6 | 2013 |
Countable ordinals B Huffman Archive of Formal Proofs. http://afp. sf. net/entries/Ordinal. shtml, 2005 | 6 | 2005 |
Stream fusion B Huffman The Archive of Formal Proofs. http://afp. sf. net/entries/Stream-Fusion. shtml, 2009 | 4 | 2009 |
Machine Words in Isabelle/HOL J Dawson, P Graunke, B Huffman, G Klein, J Matthews | 3 | 2020 |
Formal Verification of Flow Equivalence in Desynchronized Designs J Paykin, B Huffman, DM Zimmerman, PA Beerel 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems …, 2020 | 2 | 2020 |