Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

Adrien Koutsos
April 2021
PDF
Type
Journal article
Publication
ACM Trans. Comput. Log.