3504 search results - page 548 / 701 » Secure protocol composition |
198
Voted
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
In an outsourced data framework, we introduce and demonstrate mechanisms for securely storing a set of data items (documents) on an un-trusted server, while allowing for subsequen...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
The level of anonymity offered by low latency, interactive, anonymous networks is unknown. This paper implements correlation attacks on the deployed Tor network and a simulated T...
106
Voted
CANS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
103
click to vote
LCN
2006
IEEE
15 years 7 months ago
2006
IEEE
Network server consolidation has become popular through recent virtualization technology that builds secure, isolated network systems on shared hardware. One of the virtualization...