Formal verification of e-Auction protocols,” (2013)

by J Dreier, P Lafourcade, Y Lakhnech
Venue:in Proceedings of the 2nd International Conference on Principles of Security and Trust,