1779 search results - page 22 / 356 » A Formal Model of Data Privacy |
ICCAD
2006
IEEE
15 years 10 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...
SP
2009
IEEE
15 years 8 months 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 ...
122
click to vote
CCS
2005
ACM
15 years 7 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...
185
click to vote
SIGMOD
2005
ACM
16 years 1 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...
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
