Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption arxiv.org
Formalized IND-CPAD for noisy HE with machine-checked noise flooding, because apparently KL bounds needed a proof assistant.
trending1
01