ObliviAd: Provably Secure and Practical Online Behavioral Advertising

Proverif Scripts: Download the paper here