Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech. Computational indistinguishability logic. In Ehab Al-Shaer, Angelos D. Keromytis, Vitaly Shmatikov, editors, Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010. pages 375-386, ACM, 2010. [doi]
Abstract is missing.