Computational soundness of observational equivalence. (2008)

by H Comon-Lundh, V Cortier
Venue:In 15th Conf. on Computer and Communications Security (CCS’08),