whoami

An eternal student with a great passion for computer science, which I nurture with every resource at my disposal—from academic studies to work and free time.

Why this blog?

For the past few years, I’ve been exploring the worlds of cybersecurity and hacking - a vast universe full of curious stories, vulnerabilities, exploitation and mitigation techniques. It’s a wonderland where software complexity, mathematical beauty, societal dynamics, wired things, and human intelligence all collide and interact in a chaotic dance. After gaining some experience, I decided to carve out a space where I could write about what I’ve learned and challenge myself through a kind of “structured random learning”, in other words: doing Feynman technique. Even if most of the articles (most probably) will be security related I don’t exclude articles on other of my passions/interests like logic, Balkans, analog photography.

What comes next?

(Un)fortunately, this is a very busy period of my life and —since
“Time is an illusion, lunchtime doubly so.”
~ The Hitchhiker’s Guide to the Galaxy
— the amount of time I can dedicate to writing articles and documenting projects is approximately 0…

BUT, if you’re curious and would like to explore on your own, here is the list of articles and projects already scheduled and planned for public release between January and February:

Articles

• Viasat attack — {cybersecurity & space}
• Deep dive into “On Removing Rejection Conditions in Practical Lattice-Based Signatures” — {PQE}
• BB84 {Quantum encryption}
• Theorem provers, God’s existence, shellcodes & formal methods — {logic, cybersecurity, space}
• Cryptographic series with implementation — {modern cryptography}

Projects

• File Encryptor — {secure programming}
• Machine learning in embedded systems — {TinyML}
• LFS — {low level systems}

References

[1] Viasat Attack & Cybersecurity in Space

[1.1] https://www.viasat.com/perspectives/corporate/2022/ka-sat-network-cyber-attack-overview/
[1.2] https://www.ncsc.gov.uk/news/russia-behind-cyber-attack-with-europe-wide-impact-hour-before-ukraine-invasion
[1.3] https://www.europarl.europa.eu/RegData/etudes/BRIE/2023/702594/EXPO_BRI(2023)702594_EN.pdf

[2] PQE — Lattice-Based Signatures

[2.1] https://eprint.iacr.org/2021/924.pdf

[3] Logic, Theorem Provers & Formal Methods in space and cybersec

[3.1] https://ntrs.nasa.gov/citations/20250006044
[3.2] https://nfm2026.github.io/
[3.3] https://ntrs.nasa.gov/api/citations/19980227975/downloads/19980227975.pdf
[3.4] https://en.wikipedia.org/wiki/Z3_Theorem_Prover
[3.5] https://arxiv.org/abs/2011.07862
[3.6] https://www.diag.uniroma1.it/delia/papers/eurosec19.pdf
[3.7] https://doaj.org/article/b26a9aba21b14f0d81c320e49f99ebb8