Skip to search formSkip to main contentSkip to account menu

Soundness (interactive proof)

Soundness is a property of interactive proof systems that requires that no prover can make the verifier accept for a wrong statement except with some… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Interactive proof systemProof of knowledgeZero-knowledge proof

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Discovering Evolution Chains in Dynamic Networks
Most of the works on learning from networked data assume that the network is static. In this paper we consider a different… 
2011
2011
Directly Coupled Electromagnetic Field-Electric Circuit Model for Analysis of a Vector-Controlled Wound Field Brushless Starter Generator
Directly coupled electromagnetic field-electric circuit modeling approach for coupling an electrical machine to its associated… 
2010
2010
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance
With the availability of powerful computational and communication systems, scientists now readily access large, complicated… 
2007
2007
Contextualization of a DL Knowledge Base
In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this… 
2006
2006
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
2004
2004
Direct reasoning
References are indispensable to computing practice. Unlike deep copying, reference copying permits constant-time data assignment… 
2002
2002
Two-Loop Correction to the Orthopositronium Decay Rate
We give a detailed description of our calculation of the O(α 2 ) correction to the orthopositronium decay rate. The resulting… 
2000
2000
A Generalized Let-Polymorphic Type Inference Algorithm
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with… 
1995
1995
A New Procedural Interpretation of Horn Clauses with Equality
We introduce the equality elimination method which is a new procedure for dealing with Horn clause logic programs with equality… 
1991
1991
Who Is an Impartial Juror in an Age of Mass Media
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)