1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…
Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
Coşku Acay, Joshua Gancher, Rolph Recto +1
Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secur…
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…