A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

Publication
ACM/IEEE Symposium on Logic in Computer Science, LICS'23