Provably Sound Browser-Based Enforcement of Web Session Integrity | IEEE Conference Publication | IEEE Xplore