Common Contracts
1 similar Post-Quantum Signal Key Agreement With Sidh contracts
AbstractPost-Quantum Signal Key Agreement With Sidh • March 3rd, 2022
To define security in this model, we require correctness and soundness. Soundness ensures that, if the adversary is restricted to making only reveal queries that keep the test session fresh, then its advantage in distinguishing the session key from random is negligible. Let fresh(session) return true if session is fresh, and false otherwise.
