SHARPS

Our primary goal is to represent privacy policies in formal languages to allow comparison among policies and to enforce consistent execution in real settings.