1779 search results - page 327 / 356 » A Formal Model of Data Privacy |
146
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
173
Voted
AMAI
2007
Springer
15 years 3 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
137
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
182
Voted
IHI
2010
14 years 10 months ago
2010
Regulations in various countries permit the reuse of health information without patient authorization provided the data is "de-identified". In the United States, for ins...
243
click to vote
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...