@inproceedings{DJL13, author = {J. Dreier and H. L. Jonker and P. Lafourcade}, title = {Defining Verifiability in e-Auction Protocols}, booktitle = {Proc.\ 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)}, publisher = {ACM}, year = {2013}, pages = {547-552}, ee = {http://doi.acm.org/10.1145/2484313.2484387}, bibsource = {DBLP, http://dblp.uni-trier.de} }