At Veridise, Kostas works on security audits and combines latest academic research and industry experience, integrating these insights into our in-house tool development.
Prior Veridise, Kostas’ research goal has been to aid developers in writing correct and efficient code by using a combination of program analysis and program synthesis techniques
Kostas Ferles earned his Ph.D. from the University of Texas, Austin in December 2020, followed by a brief postdoctoral work. Throughout his time at UT, he worked under Işıl Dillig’s supervision and was a member of the UToPiA research group.
Prior to UT Austin, he received his B.Sc. and M.Sc. degrees (both in C.S.) from the University of Athens, Greece. During his master’s, he was working as a research assistant under the supervision of Yannis Smaragdakis.
Experience overview
Experience
Circom, Go, Rust, Solidity, Substrate, arkworks, AWS, corset, Gnark, plonky2
Specialities
Smart Contracts, Zero Knowledge, Infrastructure, Cryptography
Previous work
Academic work
- Verifying correct usage of context-free API protocols, 2021, K Ferles, J Stephens, I Dillig
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts, 2020, J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig
- Formal verification of workflow policies for smart contracts in azure blockchain, 2019, Y Wang, S Lahiri, S Chen, , R Pan, I Dillig, C Born, I Naseer, and K Ferles
- Singularity: Pattern fuzzing for worst case complexity, 2018, J Wei, J Chen, Y Feng, K Ferles, and I Dillig
- Symbolic reasoning for automatic signal placement, 2018, K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
Full audit reports
- Genesis, Dec 27, 2023, Liquid Restaking protocol
- Manta Network, 1 Sep 2023, Manta Chain (blockchain implementation)
- Succinct Labs, 11 Mar, 2023, Interoperability layer for Ethereum
- Ribbon Finance, Aug 19, 2022, DeFi protocol for structured financial products
- Parallel, 7 Jun 2022, security review of Parallel’s OMNI Money Market Protocol
Conference presentations
Kostas has delivered presentations at various conferences during Veridise and earlier as a researcher
Lessons from the Auditing Trenches: "What do ZK...
15 min | L2Con
Practical Security Analysis of Zero-Knowledge Proof Circuits
21 min | CyLab
Panel: Zeroday Why ZK Security is Important
45 min | Scale Summit