@inproceedings{BDK+10b,
title = {Computational indistinguishability logic },
author = {Barthe, Gilles and Daubignard, Marion and Kapron, Bruce M. and Lakhnech, Yassine},
year = {2010},
booktitle = {ACM Conference on Computer and Communications Security},
pages = {375-386},
team = {DCS},
}