4850 search results - page 195 / 970 » Proof and Computation in Geometry |
157
click to vote
COCO
2007
Springer
16 years 21 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
170
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
137
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We construct an efficient delegatable anonymous credentials system. Users can anonymously and unlinkably obtain credentials from any authority, delegate their credentials to other ...
158
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
160
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...