Jannik Dreier, Ali Kassem, Pascal Lafourcade. Automated Verification of E-Cash Protocols.
ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. E-Business and Telecommunications - 12th International Joint Conference, ICETE 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers.
〈10.1007/978-3-319-30222-5_11〉.
〈hal-01840596〉