5255 search results - page 117 / 1051 » Formal Methods for Privacy |
123
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
114
Voted
OOPSLA
2010
Springer
15 years 29 days ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
85
Voted
PERCOM
2004
ACM
16 years 2 months ago
2004
ACM
Privacy of personal location information is becoming an increasingly important issue. This paper refines a method, called the mix zone, developed to enhance user privacy in locati...
126
click to vote
SIGKDD
2002
15 years 2 months ago
2002
Suppose there are many clients, each having some personal information, and one server, which is interested only in aggregate, statistically significant, properties of this informa...
PSD
2004
Springer
15 years 8 months ago
2004
Springer
Noise addition is a family of methods used in the protection of the privacy of individual data (microdata) in statistical databases. This paper is a critical analysis of the securi...