Surviving the Web-Reference-Cited by-同舟云学术

Surviving the Web

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18
language:
Short-container-title:

Author:

Calzavara Stefano¹,Focardi Riccardo¹,Squarcina Marco¹,Tempesta Mauro¹

Affiliation:

1. Università Ca Foscari Venezia, Venezia, Italy

Publisher

ACM Press

Reference21 articles.

1. Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, and Dawn Song. 2010. Towards a Formal Foundation of Web Security. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010. 290--304.

2. Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, and Sergio Maffeis. 2013. Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Proceedings of the 2nd International Conference on Principles of Security and Trust, POST 2013. 126--146.

3. Adam Barth. 2011. HTTP State Management Mechanism. http://tools.ietf.org/html/rfc6265. (2011).

4. Aaron Bohannon and Benjamin C. Pierce. 2010. Featherweight Firefox: Formalizing the Core of a Web Browser USENIX Conference on Web Application Development, WebApps 2010.

5. Andrew Bortz, Adam Barth, and Alexei Czeskis. 2011. Origin Cookies: Session Integrity for Web Applications Web 2.0 Security & Privacy Workshop (W2SP 2011).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cyber Security Issues: Web Attack Investigation;Hybrid Intelligent Systems;2023

2. HTTPS Contribution in Web Application Security: A Systematic Literature Review;2020 International Conference on Information Technology Systems and Innovation (ICITSI);2020-10-19