Sciweavers

5255 search results - page 135 / 1051
» Formal Methods for Privacy
Sort
View
FC
2010
Springer
158views Cryptology» more  FC 2010»
15 years 3 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
105
Voted
CORR
2008
Springer
159views Education» more  CORR 2008»
15 years 3 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...
102
Voted
CAV
2009
Springer
127views Hardware» more  CAV 2009»
16 years 4 months ago
Incremental Instance Generation in Local Reasoning
Swen Jacobs
CAV
2009
Springer
136views Hardware» more  CAV 2009»
16 years 4 months ago
Linear Functional Fixed-points
Joe Hendrix, Nikolaj Bjørner
VMCAI
2010
Springer
15 years 10 months ago
Abstract Interpretation-Based Protection
Roberto Giacobazzi