712 search results - page 33 / 143 » A Study on the Security of Privacy Homomorphism |
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
71
Voted
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
CRYPTO
2012
Springer
13 years 3 days ago
2012
Springer
Abstract. In this paper, we study the security proofs of GCM (Galois/Counter Mode of Operation). We first point out that a lemma, which is related to the upper bound on the probab...
TRUST
2010
Springer
14 years 8 months ago
2010
Springer
We analyze empirical data of Germany’s largest online social lending platform Smava.de to exemplarily study the contribution of unstructured, ambiguous, or unverified informatio...
100
click to vote
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...