Symbolic Proofs of Computational Indistinguishability

Publication
PhD Thesis