5255 search results - page 891 / 1051 » Formal Methods for Privacy |
138
click to vote
PROVSEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
137
click to vote
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
208
click to vote
EELC
2006
15 years 7 months ago
2006
The Human Speechome Project is an effort to observe and computationally model the longitudinal course of language development for a single child at an unprecedented scale. The ide...
142
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
148
click to vote
MEDIAFORENSICS
2010
15 years 5 months ago
2010
Security of biometric templates stored in a system is important because a stolen template can compromise system security as well as user privacy. Therefore, a number of secure bio...