6 citations · 8 across the 2 of their papers we have counts for
4 papers
BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption
Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira +8
Fully Homomorphic Encryption (FHE) allows for secure computation on encrypted data. Unfortunately, huge memory size, computational cost and bandwidth requirements limit its practic…
Formal Verification of Flow Equivalence in Desynchronized Designs
Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman +1
Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalen…
Certified HLints with Isabelle/HOLCF-Prelude
Joachim Breitner, Brian Huffman, Neil Mitchell +1
We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this formalization to the hints suggested by HLint allows us…
Formal Verification of Monad Transformers
Brian Huffman
We present techniques for reasoning about constructor classes that (like the monad class) fix polymorphic operations and assert polymorphic axioms. We do not require a logic with f…