Crypto 2024 Iacr Eprint. Barak nehoran, tomoyuki morimae, takashi yamakawa. Calendar of events in cryptology.
Formally verifying kyber episode v: In this work, we provide the first distributed broadcast encryption scheme from a falsifiable lattice assumption.