53327 search results - page 10402 / 10666 » or 2007 |
161
click to vote
TAMC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Kernelizations are an important tool in designing fixed parameter algorithms for parameterized decision problems. We introduce an analogous notion for counting problems,...
185
click to vote
TARK
2007
Springer
16 years 8 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
137
click to vote
TARK
2007
Springer
16 years 8 days ago
2007
Springer
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
164
Voted
TCC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Secret-sharing schemes are an important tool in cryptography that is used in the construction of many secure protocols. However, the shares’ size in the best known secr...
149
click to vote
TCC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...