1894 search results - page 5 / 379 » A TLA Proof System |
105
Voted
CCS
2011
ACM
14 years 22 days ago
2011
ACM
Cloud storage systems are becoming increasingly popular. A promising technology that keeps their cost down is deduplication, which stores only a single copy of repeating data. Cli...
141
Voted
CRYPTO
2011
Springer
14 years 17 days 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...
136
Voted
CADE
2001
Springer
16 years 1 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
101
click to vote
CRYPTO
2012
Springer
13 years 3 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
117
click to vote
LOPSTR
1995
Springer
15 years 4 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...