Sciweavers

5255 search results - page 135 / 1051
» Formal Methods for Privacy
Sort
View
FC
2010
Springer
158views Cryptology» more  FC 2010»
15 years 6 months ago
A Secure and Privacy-Preserving Targeted Ad-System
Thanks to its low product-promotion cost and its efficiency, targeted online advertising has become very popular. Unfortunately, being profile-based, online advertising methods vio...
Elli Androulaki, Steven M. Bellovin
CORR
2008
Springer
159views Education» more  CORR 2008»
15 years 6 months ago
Privacy Preserving ID3 over Horizontally, Vertically and Grid Partitioned Data
We consider privacy preserving decision tree induction via ID3 in the case where the training data is horizontally or vertically distributed. Furthermore, we consider the same pro...
Bart Kuijpers, Vanessa Lemmens, Bart Moelans, Karl...
CAV
2009
Springer
136views Hardware» more  CAV 2009»
16 years 6 months ago
Linear Functional Fixed-points
Joe Hendrix, Nikolaj Bjørner
VMCAI
2010
Springer
16 years 1 months ago
Abstract Interpretation-Based Protection
Roberto Giacobazzi