Satisfiability modulo counting: a new approach for analyzing privacy properties.

Matthew Fredrikson, Somesh Jha

Browse the full CSL paper archive.