activity
20232025
most citedSecure Synthesis of Distributed Cryptographic Applications (Technical Report)

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.CRShow all

2 papers · 1 filter

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.CR2024★ 1 cited

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…