I’m glad to announce that our paper on language-based techniques to enforce integrity of web sessions has been accepted at IEEE CSF 2020! A lot of work was put into this project and I look forward to uploading the final version incorporating the reviewers’ comments as soon as possible.