@inproceedings{MaSuUs_ICISC09, author = {Mark Manulis and Koutarou Suzuki and Berkant Ustaoglu}, title = {{Modeling Leakage of Ephemeral Secrets in Tripartite/Group Key Exchange}}, booktitle = {12th International Conference on Information, Security, and Cryptology (ICISC 2009)}, year = {2009}, pages = {16--33}, publisher = {Springer}, series = {LNCS}, volume = {5984}}