A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

David Baelde, Adrien Koutsos, Joseph Lallemand
April 2023
PDF
Type
Conference paper
Publication
ACM/IEEE Symposium on Logic in Computer Science, LICS'23 – to appear