Found 1 document(s)
Page 1 of 1
-
Artifact for the CCS 2024 paper "Foundations for Cryptographic Reductions in CCSA Logics". The Computationally Complete Symbolic Attacker (CCSA) approach to security protocol verification relies on probabilistic logics t...