Reference : Defining Verifiability in e-Auction Protocols
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3016
Defining Verifiability in e-Auction Protocols
English
Dreier, Jannik [Verimag / University of Grenoble I]
Jonker, Hugo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Lafourcade, Pascal [VeriMag / University of Grenoble I]
2013
Proc. 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)
ACM
Yes
No
International
8th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2013)
7-10 May 2013
ACM
[en] auctions ; verifiability ; formal verification ; applied pi
http://hdl.handle.net/10993/3016
to appear

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
asia53s-dreier.pdfPublisher postprint114.89 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.