119 search results - page 13 / 24 » Batch Range Proof for Practical Small Ranges |
119
click to vote
JOC
2006
14 years 11 months ago
2006
Abstract. In response to the current need for fast, secure and cheap public-key cryptography, we propose an interactive zero-knowledge identification scheme and a derived signature...
ENVSOFT
2007
14 years 11 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium â€...
103
click to vote
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a simple and efficient entropy coder that combines run-length and Golomb-Rice encoders. The encoder automatically switches between the two modes according to simple rul...
ICPADS
2002
IEEE
15 years 4 months ago
2002
IEEE
Switching fabrics with distributed control for scalable routers have been proposed recently [7]. Such a fabric consists of small routing units (RU’s) interconnected by multistag...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...