19 search results - page 4 / 4 » Rational Proofs with Multiple Provers |
128
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriļ...
127
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
This paper reports on reļ¬nements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
129
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
257
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...