D Baelde, A Koutsos… - 2023 38th Annual ACM …, 2023 - ieeexplore.ieee.org
The field of cryptographic protocol verification in the computational model aims at obtaining
formal security proofs of protocols. To facilitate writing such proofs, which are complex and …