Formal Analysis of E-Cash Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jannik Dreier' in GoogleThis author has not been identified. Look up 'Ali Kassem' in GoogleThis author has not been identified. Look up 'Pascal Lafourcade' in Google

runs on WebDSL