Common Contracts
2 similar null contracts
Post-Quantum Signal Key Agreement with SIDHSeptember 21st, 2021
To define security in this model, we require correctness and soundness. Soundness ensures that, if the adversary is restricted to making only reveal queries which 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.
AbstractSeptember 15th, 2021
To define security in this model, we require correctness and soundness. Soundness ensures that, if the adversary is restricted to making only reveal queries which keep the test session fresh, then its advantage in
