Archives 2025 09 Apr Solving CTF challenges with Z3 28 Jan Heap 0x012024 27 Nov Finding Solutions for Probabilistic Automata 02 Aug Solution of the initial picoGym pwn challenges 16 Jul An Introduction to Zero-Knowledge Proofs - Part 1 02 Apr UTCTF 2024 writeup