Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols. In Mohammad S. Obaidat, Pascal Lorenz, Pierangela Samarati, editors, SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography, Colmar, Alsace, France, 20-22 July, 2015. pages 65-75, SciTePress, 2015. [doi]
@inproceedings{DreierKL15,
title = {Formal Analysis of E-Cash Protocols},
author = {Jannik Dreier and Ali Kassem and Pascal Lafourcade},
year = {2015},
doi = {10.5220/0005544500650075},
url = {http://dx.doi.org/10.5220/0005544500650075},
researchr = {https://researchr.org/publication/DreierKL15},
cites = {0},
citedby = {0},
pages = {65-75},
booktitle = {SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography, Colmar, Alsace, France, 20-22 July, 2015},
editor = {Mohammad S. Obaidat and Pascal Lorenz and Pierangela Samarati},
publisher = {SciTePress},
isbn = {978-989-758-117-5},
}