A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.

David Baelde, Adrien Koutsos, Joseph Lallemand

Browse the full LICS paper archive.