Skip to content

Foundations for Cryptographic Reductions in CCSA Logics.

David Baelde, Adrien Koutsos, Justine Sauvage

VenueA*CCS
Year2024
ProceedingsCCS

Browse the full CCS paper archive.