Computer Security – ESORICS 2017
Verena: End-to-End Integrity Protection for Web Applications