• January 8, 2025 Designing a Theorem Prover, Part 8
• December 26, 2024 Designing a Theorem Prover, Part 7
• December 14, 2024 Designing a Theorem Prover, Part 6
• December 10, 2024 Designing a Theorem Prover, Part 5
• November 30, 2024 Designing a Theorem Prover, Part 4
• September 29, 2024 Designing a Theorem Prover, Part 3
• September 21, 2024 Forwards versus Backwards Reasoning
• September 9, 2024 Designing a Theorem Prover, Part 2
• September 8, 2024 Designing a Theorem Prover, Part 1
• November 15, 2022 Damn Vulnerable DeFi, #8 Puppet
• November 2, 2022 Damn Vulnerable DeFi, #6 Selfie
• August 17, 2022 Damn Vulnerable DeFi, #5 The rewarder
• August 11, 2022 Damn Vulnerable DeFi, #4 Side entrance
• August 10, 2022 Damn Vulnerable DeFi, #3 Truster
• August 9, 2022 Damn Vulnerable DeFi, #2 Naive Receiver
• August 9, 2022 Damn Vulnerable DeFi, #1 Unstoppable
• August 4, 2022 Ethernaut, #14 Gatekeeper One
• August 4, 2022 Ethernaut, #13 Privacy
• August 3, 2022 Ethernaut, #12 Elevator
• August 2, 2022 Ethernaut, #11 Re-entrancy
• August 1, 2022 Ethernaut, #10 King
• July 30, 2022 Ethernaut, #9 Vault
• July 29, 2022 Ethernaut, #8 Force
• July 29, 2022 Ethernaut, #7 Delegation
• July 28, 2022 Ethernaut, #6 Token
• July 26, 2022 Ethernaut, #5 Telephone
• July 26, 2022 Ethernaut, #4 Coin Flip
• July 25, 2022 Ethernaut, #3 Fallout
• July 23, 2022 Ethernaut, #2 Fallback
• July 21, 2022 Ethernaut, #1 Hello Ethernaut
• July 19, 2022 CTF walkthrough, Intro
• December 7, 2019 Proving TAPL in Coq (ch 3, WIP)
• September 21, 2019 Making of Tiger #6, Stack frames
• September 8, 2019 Making of Tiger #3, Parsing
• August 23, 2019 Making of Tiger #2, Lexical Analysis
• August 22, 2019 Making of Tiger #1, Intro