2 search results - page 1 / 1 » Short Proofs are Narrow - Resolution Made Simple |
HUC
2007
Springer
13 years 11 months ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
IACR
2011
12 years 4 months ago
2011
Zero knowledge sets (ZKS) [18] allow a party to commit to a secret set S and then to, non interactively, produce proofs for statements such as x ∈ S or x /∈ S. As recognized in...