3115 search results - page 484 / 623 » Synthesizing Secure Protocols |
167
click to vote
TSMC
2008
15 years 5 months ago
2008
In this paper, we study distributed failure diagnosis under k-bounded communication delay, where each local site transmits its observations to other sites immediately after each o...
154
click to vote
CHES
2009
Springer
16 years 6 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
265
click to vote
VLDB
2007
ACM
16 years 6 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...
130
click to vote
SAC
2009
ACM
16 years 18 days 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...
172
click to vote
CANS
2009
Springer
16 years 12 days 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...