Systematic Website Verification for Privacy Protection. - Ji-Hee Jeoung; Eun-Ji Shin; Seng-Phil Hong; Sung-Hoon Kim; In-Ho Kim; Min-Woo Lee (IAS, 2008)