Title : Verifiability in e-Auction protocols & Brandt's protocol revisited
Language : English
Author, co-author : Dreier, Jannik []
Dumas, G.J. [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 []
Publication date : 2013
Peer reviewed : Yes
On invitation : No
Audience : International
Event name : 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013)
Event date : 17 March 2013
Keywords : [en] verifiability ; auctions ; applied pi
Target : Researchers
Permalink : http://hdl.handle.net/10993/3022
Other URL : http://www.cs.bham.ac.uk/~mdr/research/projects/HotSpot-2013/