13383 search results - page 121 / 2677 » Abstractions from proofs |
124
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
144
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
155
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Alice wants to prove that she is young enough to borrow money from her bank, without revealing her age. She therefore needs a tool for proving that a committed number lies in a spe...
183
click to vote
AAAI
2010
15 years 7 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
164
click to vote
BSL
2004
15 years 5 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...