407 search results - page 9 / 82 » Malleable Proof Systems and Applications |
104
click to vote
WSC
1989
15 years 2 months ago
1989
Proof Animationā¢ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
94
Voted
INFORMATICALT
2010
15 years 6 days ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
148
click to vote
CRYPTO
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketchesācompact, formal representations of the essence of a...
112
Voted
CRYPTO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper introduces simulatable veriļ¬able random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also veriļ¬able: corresponding to...
162
Voted
LICS
1991
IEEE
15 years 5 months ago
1991
IEEE
d Abstract) Maria Luisa Bonetā Samuel R. Bussā Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...