Noam Mazor: Key-Agreement with Perfect Completeness from Random Oracles. ITC 2025: 12:1-12:11