Computer Aided Verification
From MaRDI portal
Publication:5900593
DOI10.1007/B11831zbMath1274.94045OpenAlexW1571340194MaRDI QIDQ5900593
Publication date: 31 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Related Items (4)
A new protocol for multi-item electronic auctions ⋮ Protocol completion incentive problems in cryptographic Vickrey auctions ⋮ How to obtain full privacy in auctions ⋮ FAST: fair auctions via secret transactions
This page was built for publication: Computer Aided Verification
