Computational Soundness of Coinductive Symbolic Security under Active Attacks.

Mohammad Hajiabadi, Bruce M. Kapron

Browse the full TCC paper archive.