Sina Davanian

Compiler Verification Engineer - Security Fuzzing

Los Angeles, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Sina Davanian is a compiler verification and security fuzzing engineer at NVIDIA with a PhD in Computer Science and eight years of experience in systems and network security research. He has published and presented at top venues including Usenix Security and Black Hat, and his work has amassed over 200 citations, reflecting measurable academic impact. His hands-on expertise spans LLVM/Clang, QEMU, PIN, Capstone, Ghidra and Android static analysis tools like AndroGuard, applied to both binary and static analysis pipelines. Past roles include malware intelligence and SSL/TLS app analysis, and he has practical experience moving research into products (e.g., commercialization work at Bitdefender). Based in Los Angeles, he blends deep reverse-engineering skills with compiler-focused fuzzing research, often bridging academic rigor with production-quality tooling.
code8 years of coding experience
job7 years of employment as a software developer
bookMaster of Science (M.S.), Computer Science, 110/110 (graduated with honors), Master of Science (M.S.), Computer Science, 110/110 (graduated with honors) at Università degli Studi di Trento
bookFuture Networking Solutions, Future Networking Solutions at KTH Royal Institute of Technology
bookMaster of Science (M.S.), Computer Science, 8.5/10 (graduated with honors), Master of Science (M.S.), Computer Science, 8.5/10 (graduated with honors) at University of Twente
bookBachelor's degree, Computer Software Engineering, Bachelor's degree, Computer Software Engineering at Shiraz University
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of California, Riverside
languagesEnglish, Italian, Arabic, Persian
github-logo-circle

Github Skills (21)

java-bytecode10
attestation10
opcodes10
qemu9
analyzer9
executable9
abstract-interpretation9
quality-assurance9
malware9
source-code-analysis9
program-analysis8
yara8
reverse-engineering8
code-analysis8
static-analyzer8

Programming languages (2)

CPython

Github contributions (5)

github-logo-circle
adava/CnCHunter

Jul 2021 - Oct 2022

This project fully automates the process of analyzing and exploiting IoT malware to find live CnC servers.
Contributions:6 commits, 2 PRs, 10 pushes in 1 year 2 months
analyzingexploitingautomatessecuritycnc
adava/DECAF-Selective

Dec 2018 - Jun 2019

Optimized DECAF with elastic whole system dynamic taint analysis
Contributions:44 commits, 2 PRs, 35 pushes in 6 months
elasticsecuritytaint-analysisoptimizeddecaf
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial