Sciweavers

1414 search results - page 139 / 283
» Randomness and Universal Machines
Sort
View
98
Voted
EUROCRYPT
2007
Springer
15 years 6 months ago
Non-interactive Proofs for Integer Multiplication
Abstract. We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Mo...
Ivan Damgård, Rune Thorbek
102
Voted
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 6 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
101
Voted
WINE
2007
Springer
124views Economy» more  WINE 2007»
15 years 6 months ago
On the Price of Truthfulness in Path Auctions
We study the frugality ratio of truthful mechanisms in path auctions, which measures the extent to which truthful mechanisms “overpay” compared to non-truthful mechanisms. In p...
Qiqi Yan
92
Voted
CCS
2005
ACM
15 years 6 months ago
Untraceable RFID tags via insubvertible encryption
We introduce a new cryptographic primitive, called insubvertible encryption, that produces ciphertexts which can be randomized without the need of any key material. Unlike plain u...
Giuseppe Ateniese, Jan Camenisch, Breno de Medeiro...
127
Voted
CTRSA
2005
Springer
121views Cryptology» more  CTRSA 2005»
15 years 6 months ago
Time-Selective Convertible Undeniable Signatures
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
Fabien Laguillaumie, Damien Vergnaud