https://dkvhr.github.io/posts/writeup-UTCTF-2024/ 2024-04-02T03:00:00+00:00 https://dkvhr.github.io/posts/zk-intro-part1/ 2024-07-16T07:27:39+00:00 https://dkvhr.github.io/posts/picogym-pwn-easy/ 2024-08-02T03:00:00+00:00 https://dkvhr.github.io/posts/finding-solutions-probabilistic-automata/ 2024-11-27T03:00:00+00:00 https://dkvhr.github.io/posts/heap-0x01/ 2025-01-28T00:00:00+00:00 https://dkvhr.github.io/posts/ctf-with-z3/ 2025-04-10T02:35:00+00:00 https://dkvhr.github.io/categories/ 2025-04-10T02:47:28+00:00 https://dkvhr.github.io/tags/ 2025-04-10T02:47:28+00:00 https://dkvhr.github.io/archives/ 2025-04-10T02:47:28+00:00 https://dkvhr.github.io/about/ 2025-04-10T02:47:28+00:00 https://dkvhr.github.io/ https://dkvhr.github.io/tags/crypto/ https://dkvhr.github.io/tags/writeup/ https://dkvhr.github.io/tags/zk/ https://dkvhr.github.io/tags/pwn/ https://dkvhr.github.io/tags/linear-systems/ https://dkvhr.github.io/tags/formal-languages/ https://dkvhr.github.io/tags/z3/ https://dkvhr.github.io/categories/crypto/ https://dkvhr.github.io/categories/writeup/ https://dkvhr.github.io/categories/zk/ https://dkvhr.github.io/categories/pwn/ https://dkvhr.github.io/categories/linear-systems/ https://dkvhr.github.io/categories/formal-languages/ https://dkvhr.github.io/categories/rev/ https://dkvhr.github.io/categories/z3/