https://ryanpwilliams.com/cv/ https://ryanpwilliams.com/ https://ryanpwilliams.com/news/holepunch/ https://ryanpwilliams.com/news/ https://ryanpwilliams.com/news/malcos/ https://ryanpwilliams.com/news/patchcanary/ https://ryanpwilliams.com/news/solder/ https://ryanpwilliams.com/posts/2023-11-14-rendering-latex-in-hakyll/ https://ryanpwilliams.com/posts/2023-12-19-coq-cheatsheet-tools-and-tactics-for-goal-solving/ https://ryanpwilliams.com/posts/2024-6-13-datalog-for-program-analysis/ https://ryanpwilliams.com/posts/2025-4-3-formalizing-program-analysis-in-lean-4/ https://ryanpwilliams.com/posts/2026-4-29-reading-tamarin-prover-output-a-visual-tutorial/ https://ryanpwilliams.com/posts/formal-methods/ https://ryanpwilliams.com/posts/ https://ryanpwilliams.com/posts/programming/ https://ryanpwilliams.com/posts/reference/ https://ryanpwilliams.com/posts/security/ https://ryanpwilliams.com/posts/tutorial/ https://ryanpwilliams.com/posts/web-development/ https://ryanpwilliams.com/projects/ https://ryanpwilliams.com/projects/malcos/ https://ryanpwilliams.com/projects/prat/ https://ryanpwilliams.com/projects/wasm/ https://ryanpwilliams.com/publications/ https://ryanpwilliams.com/talks/ https://ryanpwilliams.com/tamarin-tutorial/ https://ryanpwilliams.com/teaching/