24188 search results - page 138 / 4838 » Computing on Encrypted Data |
137
click to vote
CRYPTO
2009
Springer
15 years 9 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
141
click to vote
ICICS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...
208
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
The networked and increasingly ubiquitous nature of today's data management services mandates assurances to detect and deter malicious or faulty behavior. This is particularly...
121
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
113
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...