Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

Adrien Koutsos
January 2019
PDF Slides DOI Long version
Type
Conference paper
Publication
32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019