At Veridise, Victor works as a Lead Security Analyst, conducting security audits for our clients.
Previously, Victor worked as a Cyber Security Engineer at Prediggo SA, where he gained experience building infrastructure to automate scans and collect vulnerability findings in server environments. Victor is also experienced in fuzzing and formal verification.
He earned his M.Sc. in Computer Science with a focus on Cybersecurity from EPFL (École Polytechnique Fédérale de Lausanne) in Switzerland. His Master’s thesis was completed as part of the UToPiA lab at UT Austin, under the supervision of Işıl Dillig (UT Austin) and Viktor Kunčak (EPFL).
Experience overview
Experience
Rust, Solidity, Go
Specialities
Smart Contracts, Zero Knowledge
Previous work
Full audit reports
- RISC Zero, 25 Apr 2025, Steel library
- RISC Zero, 18 Feb 2025, Kailua Protocol