Title : Defining Verifiability in e-Auction Protocols
Language : English
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]
Publication date : 2013
Main document title : Proc. 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)
Publisher : ACM
Peer reviewed : Yes
On invitation : No
Audience : International
Event name : 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)
Event date : 7-10 May 2013
Event organizer : ACM
Keywords : [en] auctions ; verifiability ; formal verification ; applied pi
Permalink : http://hdl.handle.net/10993/3016
Commentary : to appear