About me
I am
Michal Ľaš, a
Security Software Engineer and
Cryptography Researcher currently pursuing a Ph.D. at the Brno University of Technology. My engineering focus lies in the intersection of
zero-knowledge proofs, system security, and public blockchains.
In an AI-driven world, my motivation is to develop infrastructure where user privacy and system security are foundational — not an afterthought. I build solutions that enhance digital freedom by understanding low-level system mechanics, vulnerabilities, and privacy-preserving protocols.
Experiences
- Decentralized Identity Engineering (Master's Thesis): Designed the architecture for a Sybil-resistant identity system. Implemented a working proof-of-concept using Plonky2 ZKP system and the Oasis Network. Presented at Excel@FIT and ETHReS 2026. (View Thesis)
- Post-Quantum Cryptography Research (Bachelor's Thesis): Analyzed, designed, and implemented in C++ blockchain to evaluate the impact of NIST-standardized post-quantum cryptography on blockchain infrastructure. Presented at Excel@FIT and a post-quantum cryptography workshop. (View Thesis)
- Applied Engineering Portfolio: Built hands-on projects in computer networks, applied cryptography, and decentralized systems (available on my GitHub or in the Projects section).
Current Focus
- Cryptography Research – Investigating Zero-Knowledge Proofs, developing privacy-preserving protocols, and learning Rust.
- Infrastructure – Running a hardened Debian-based home lab with off-site backups and VPN for secure remote access.
- Doctoral Research – Focusing zero-knowledge constructs in the context of system security and public blockchains.
- Investigating formal security models for anti-Sybil social graph analysis
Doctoral Research
Topic: Zero-Knowledge Constructs in the Context of System Security and Public Blockchains
Institution: Faculty of Information Technology, Brno University of Technology (accepted, starting September 2026)
- Exploring efficient recursive ZKP constructions for decentralized identity verification
- Investigating formal security models for anti-Sybil social graph analysis
- Bridging theoretical ZKP research with practical systems engineering
Publications: Research article on De-SyRIS — currently under peer review.
I am always open to collaborations and discussions around applied cryptography, security engineering, and decentralized systems.
