544 search results - page 86 / 109 » The Algebra of Equality Proofs |
157
click to vote
LICS
2007
IEEE
16 years 5 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
140
click to vote
HIP
2005
Springer
15 years 11 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
184
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
146
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...
165
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We give a provable-security treatment for the key-wrap problem, providing definitions, constructions, and proofs. We suggest that key-wrap's goal is security in the ...