2016 IEEE安全与隐私专题讨论会上发表的一篇题为《Verena: End-to-End Integrity Protection for Web Applications》的论文