370 search results - page 65 / 74 » Limits of Constructive Security Proofs |
151
click to vote
BIRTHDAY
2012
Springer
14 years 5 days ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...
145
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
170
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...
143
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
141
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...