@inproceedings{BDL11,
title = {A Computational Indistinguishability Logic for the Bounded Storage Model },
author = {Barthe, Gilles and Duclos, Mathilde and Lakhnech, Yassine},
year = {2011},
booktitle = {Foundations and Practice of Security},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6888},
team = {DCS},
}
