12774 search results - page 112 / 2555 » A Framework for Proof Systems |
112
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
127
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
150
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
162
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
122
click to vote
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...