7988 search results - page 1408 / 1598 » A Useful Undecidable Theory |
169
click to vote
ASIACRYPT
2011
Springer
14 years 4 months ago
2011
Springer
We present a generic method to secure various widely-used cryptosystems against arbitrary side-channel leakage, as long as the leakage adheres three restrictions: first, it is bou...
146
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
We consider data exchange for XML documents: given source and target schemas, a mapping between them, and a document conforming to the source schema, construct a target document a...
168
click to vote
CRYPTO
2011
Springer
14 years 3 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...
141
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
172
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...