Hi, welcome!

I am Karolina, a Ph.D. candidate in cybersecurity at Télécom Paris and Ledger Donjon, focusing on the security of blockchain software clients and more generally of the Go language. My research combines formal verification methods with practical security engineering to address vulnerabilities in decentralized systems.

RESEARCH INTERESTS

• Symbolic execution and formal verification of protocols
• Software, infra and networks security
• Layer 2 blockchain security and scalability
• Zero-knowledge proof systems
• Languages : Go, Rust, Assembly

“When things are beautifully done, there is usually a well thought out sort of abstraction layers.”

Jim Keller

MY CURRENT BIG PROJECT

I’m the main developer of ZORYA, a concolic execution tool specialized for analyzing Go binaries. It’s designed to be user-friendly and automatic, helping developers build more secure Go code with minimal effort. Our architecture leverages Ghidra’s powerful intermediate representation (P-Code), which gives Zorya the capability to analyze binaries from many different languages, not just Go.

Check it out on GitHub: https://github.com/Ledger-Donjon/zorya

INNOVATION & PROTOTYPING

Applied research requires iteration between theoretical frameworks and empirical validation. Through competitive hackathons and collaborative prototyping events, I develop proof-of-concept implementations that test security hypotheses in constrained timeframes. This rapid experimentation informs my doctoral research by exposing practical limitations of formal methods, revealing emergent attack vectors in Layer 2 systems, and fostering interdisciplinary collaboration. The projects below demonstrate how theoretical security analysis translates into functional tools and protocols.