Nerdy

2024/06/20 Mini-SoK: On Applying LLMs to Verification
2023/10/03 A (Living, Incomplete?) Survey of CPU Attacks
2023/08/16 Costs of Creation 2: The Verification of LK99
2023/08/07 Costs of Creation: The Need for Testing
2022/04/12 Review: A Phd Is Not Enough
2021/10/09 Cryptopals Set 5
2021/08/02 On Hardware Security (Part 1): The Problem
2020/05/25 Cryptopals Set 4
2020/03/30 Cryptopals Set 3
2020/02/25 Cryptopals Set 2
2020/01/21 Cryptopals Set 1