welcome to my blog :)

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home About

About

About

Hello, I am Davi!

Recently Updated

Solving CTF challenges with Z3
Heap 0x01
Finding Solutions for Probabilistic Automata
Solution of the initial picoGym pwn challenges
An Introduction to Zero-Knowledge Proofs - Part 1

Trending Tags

writeup crypto formal languages linear systems pwn z3 zk

© 2025 dkvhr. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

writeup crypto formal languages linear systems pwn z3 zk

A new version of content is available.