Jeeves: A Programming Language for Automatically Enforcing Privacy [pdf] (2012)projects.csail.mit.edu1 pointyeukhon8 years ago