Formal Methods

Foundations for Cryptographic Reductions in CCSA Logics