Computational soundness of observational equivalence (2008)

by H Comon-Lundh, V Cortier
Venue:In 15th ACM Conference on Computer and Communications Security