3 papers
cs.CR2025
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
RLWE-based Fully Homomorphic Encryption (FHE) schemes add some small \emph{noise} to the message during encryption. The noise accumulates with each homomorphic operation. When the…
cs.LO2025
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
Kristina Sojakova, Mihai Codescu, Joshua Gancher
The concrete security paradigm aims to give precise bounds on the probability that an adversary can subvert a cryptographic mechanism. This is in contrast to asymptotic security, w…
cs.PL2024
WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
Zhengyao Lin, Joshua Gancher, Bryan Parno
Coarse-grained reconfigurable arrays (CGRAs) have gained attention in recent years due to their promising power efficiency compared to traditional von Neumann architectures. To pro…