1779 search results - page 22 / 356 » A Formal Model of Data Privacy |
143
Voted
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
135
click to vote
SP
2009
IEEE
16 years 2 days ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
175
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
233
Voted
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
We present techniques for privacy-preserving computation of multidimensional aggregates on data partitioned across multiple clients. Data from different clients is perturbed (rand...
122
Voted
ICECCS
2009
IEEE
15 years 12 months ago
2009
IEEE
