At Veridise, Burak serves as a Research Scientist and is a member of our in-house tooling development team.
He has conducted academic research in software security, formal methods, dynamic analysis, fuzzing, and side-channel analysis.
In addition to his academic accomplishments, Burak brings research experience from his roles at NASA Ames Research Center and Carnegie Mellon University Silicon Valley.
Burak earned his PhD in Computer Science at the University of California, Santa Barbara (UCSB).
Experience overview
Experience
Rust, AWS, Halo2, Solidity
Specialities
Smart Contracts
Previous work
Academic work
- Profit: Detecting and Quantifying Side Channels in Networked Applications
- Symbolic execution for importance analysis and adversarial generation in neural networks
- Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
- Feedback-driven side-channel analysis for networked applications
- Incremental attack synthesis
- Burak’s research on Google Scholar