12 search results - page 3 / 3 » Abstracting Cryptographic Protocols with Tree Automata |
155
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
107
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...