Author:Benjamin Grégoire
Keyphrasesblock cipher mode, collision probability, EasyCrypt, formal proof, independence, MAC, probabilistic programs, program verification, relational logic, Security, security proof, uniformity. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |