455 search results - page 38 / 91 » Differential Privacy in New Settings |
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
EDBT
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. With the widespread use of e-business coupled with the public's awareness of data privacy issues and recent database security related legislations, incorporating sec...
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Despite recent advances in trust relationship control mechanisms, issues remain that impede the development of effective trust models. One of these is the lack of dynamic mechanis...
143
Voted
DAGM
2006
Springer
15 years 1 months ago
2006
Springer
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...