4099 search results - page 4 / 820 » A Framework for Interactive Proof |
122
click to vote
ICICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
138
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
153
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
121
click to vote
STACS
1997
Springer
15 years 8 months ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
115
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...