auctions; verifiability; formal verification; applied pi
Disciplines :
Computer science
Author, co-author :
Dreier, Jannik; Verimag / University of Grenoble I
JONKER, Hugo ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Lafourcade, Pascal; VeriMag / University of Grenoble I
Language :
English
Title :
Defining Verifiability in e-Auction Protocols
Publication date :
2013
Event name :
8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)
Event organizer :
ACM
Event date :
7-10 May 2013
Audience :
International
Main work title :
Proc. 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)