V Cheval, I Rakotonirina - 2023 IEEE 36th Computer Security …, 2023 - ieeexplore.ieee.org
When formalising cryptographic protocols, privacy-type properties such as strong flavours of
secrecy, anonymity or unlinkability, are often modelled by indistinguishability statements …