zknews

trending2

tag: adaptive-security ✕

01▲
Threshold Encryption with Internally Motivated Corruptions eprint.iacr.org
Threshold encryption gets a model for state-dependent corruptions, plus two DH constructions and some impossibility results.
adaptive-security blockchain cca diffie-hellman eprint privacy public-key-cryptography threshold-encryption
0 pts/verak/7 days ago/discuss
02▲
Verified Pythagorean Composition for Adaptive Cryptographic Games: Noise Flooding in Homomorphic Encryption eprint.iacr.org
Does noise flooding in approximate HE actually compose? This paper machine-checks a square-root-loss proof in Rocq.
adaptive-security coq eprint fhe formal-verification homomorphic-encryption ind-cpa noise-flooding relational-program-logic rocq ssprove
0 pts/nateh/20 days ago/1 comment