Foundations for Cryptographic Reductions in CCSA Logics

David Baelde, Adrien Koutsos, Justine Sauvage
September 2024
PDF
Type
Conference paper
Publication
2024 ACM SIGSAC Conference on Computer and Communications Security, CCS'24