3228 search results - page 550 / 646 » Computationally Sound Proofs |
149
click to vote
TAMC
2007
Springer
15 years 11 months ago
2007
Springer
Pass observed that universal composable zero-knowledge (UCZK) protocols in the common reference string (CRS) model, where a common reference string is selected trustily by a truste...
149
click to vote
ICNP
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
128
click to vote
MMSEC
2006
ACM
15 years 11 months ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
168
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
133
Voted
SIGECOM
2006
ACM
15 years 11 months ago
2006
ACM
Braess’s Paradox is the counterintuitive but well-known fact that removing edges from a network with “selfish routing” can decrease the latency incurred by traffic in an eq...