19 search results - page 4 / 4 » Rational Proofs with Multiple Provers |
FOCS
2009
IEEE
14 years 23 days 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ļ...
MKM
2004
Springer
13 years 11 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...
TPHOL
2007
IEEE
14 years 8 days 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...
POPL
2009
ACM
14 years 6 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 ...