@inproceedings{dreier:hal-01338020, TITLE = {{Formal Verification of e-Auction Protocols}}, AUTHOR = {Dreier, Jannik and Lafourcade, Pascal and Lakhnech, Yassine}, URL = {https://hal.science/hal-01338020}, BOOKTITLE = {{International Conference on Principles of Security and Trust, POST 2013}}, ADDRESS = {Rome, Italy}, HAL_LOCAL_REFERENCE = {Challenge 2}, YEAR = {2013}, MONTH = Mar, DOI = {10.1007/978-3-642-36830-1\_13}, PDF = {https://hal.science/hal-01338020/file/post2013.pdf}, HAL_ID = {hal-01338020}, HAL_VERSION = {v1}, }