@inproceedings{EGL13,
title = {CIL Security Proof for a Password-Based Key Exchange },
author = {Ene, Cristian and Gritti, Cl{\'e}mentine and Lakhnech, Yassine},
year = {2013},
booktitle = {Provable Security - 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings},
pages = {59-85},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8209},
team = {DCS,PACSS},
}
