Mechanizing Privacy by Design.

David A. Basin, Franois Hublet, Srdan Krstic, Hong Nguyen

Browse the full CCS paper archive.