1. Towards a Formal Foundation of Web Security
2. Apple Inc. 2022. Sign in with Apple | Developer Documentation. Retrieved 08/29/2022 from https://developer.apple.com/sign-in-with-apple/. Apple Inc. 2022. Sign in with Apple | Developer Documentation. Retrieved 08/29/2022 from https://developer.apple.com/sign-in-with-apple/.
3. Guangdong Bai , Jike Lei , Guozhu Meng , Sai Sathyanarayan Venkatraman , Prateek Saxena , Jun Sun , Yang Liu , Jin Song Dong , and B Guangdong . 2013 . AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations . In Network and Distributed System Security Symposium (NDSS). Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong, and B Guangdong. 2013. AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. In Network and Distributed System Security Symposium (NDSS).
4. Adam Barth , Collin Jackson , and John C . Mitchell . 2009 . Securing Frame Communication in Browsers. Communications of the ACM , 52, 6, (June 2009), 83--91. issn: 0001-0782, 1557--7317. doi: 10.1145/1516046.1516066. 10.1145/1516046.1516066 Adam Barth, Collin Jackson, and John C. Mitchell. 2009. Securing Frame Communication in Browsers. Communications of the ACM, 52, 6, (June 2009), 83--91. issn: 0001-0782, 1557--7317. doi: 10.1145/1516046.1516066.
5. Michele Benolli , Seyed Ali Mirheidari , Elham Arshad, and Bruno Crispo. 2021 . The Full Gamut of an Attack : An Empirical Analysis of OAuth CSRF in the Wild. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 12756 LNCS. Springer International Publishing , 21--41. isbn: 9783030808242. doi: 10.1007/978--3-030--80825--9_2. 10.1007/978--3-030--80825--9_2 Michele Benolli, Seyed Ali Mirheidari, Elham Arshad, and Bruno Crispo. 2021. The Full Gamut of an Attack: An Empirical Analysis of OAuth CSRF in the Wild. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Volume 12756 LNCS. Springer International Publishing, 21--41. isbn: 9783030808242. doi: 10.1007/978--3-030--80825--9_2.