1. [1] ODoH Analysis Tamarin Model. https://github.com/cloudflare/odoh-analysis.
2. [2] ODoH Artifacts. https://github.com/sudheesh001/ODoH-Artifacts.
3. [3] N Aifardan, D Bernstein, K Paterson, B Poettering, and J Schuldt. On the security of RC4 in TLS and WPA. In USENIX Security, 2013.
4. [4] Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, and Esfandiar Mohammadi. AnoA: A Framework for Analyzing Anonymous Communication Protocols. In 2013 IEEE 26th Computer Security Foundations Symposium, pages 163–178, 2013.
5. [5] Kenji Baheux. Chromium blog: A safer and more private browsing experience with secure DNS. https://blog.chromium.org/2020/05/a-safer-and-more-private-browsing-DoH.html, 05 2020. (Accessed on 09/15/2020).