Computational indistinguishability logic

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]

Authors

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Marion Daubignard

This author has not been identified. Look up 'Marion Daubignard' in Google

Bruce M. Kapron

This author has not been identified. Look up 'Bruce M. Kapron' in Google

Yassine Lakhnech

This author has not been identified. Look up 'Yassine Lakhnech' in Google