234 search results - page 40 / 47 » Proof Nets and the Identity of Proofs |
164
click to vote
PKC
2007
Springer
16 years 5 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
135
click to vote
SAGA
2007
Springer
16 years 5 days ago
2007
Springer
In the layered-graph query model of network discovery, a query at a node v of an undirected graph G discovers all edges and non-edges whose endpoints have different distance from ...
164
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
170
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...
160
click to vote
COLT
2000
Springer
15 years 10 months ago
2000
Springer
This paper collects together a miscellany of results originally motivated by the analysis of the generalization performance of the “maximum-margin” algorithm due to Vapnik and...