@techreport{dreier:hal-01338031, TITLE = {{Formal Verification of e-Auction Protocols}}, AUTHOR = {Dreier, Jannik and Lafourcade, Pascal and Lakhnech, Yassine}, URL = {https://hal.science/hal-01338031}, TYPE = {Technical Report}, NUMBER = {TR-2012-17}, INSTITUTION = {{VERIMAG}}, YEAR = {2012}, PDF = {https://hal.science/hal-01338031/file/TR-2012-17.pdf}, HAL_ID = {hal-01338031}, HAL_VERSION = {v1}, }