Verena: End-To-End Integrity Protection for Web Applications (Mylar successor) [pdf]people.eecs.berkeley.edu1 pointespeed10 years ago