Basavesh Shivakumar

Postdoctoral Associate

Blacksburg, Virginia, 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
Basavesh Shivakumar is a postdoctoral researcher and systems security engineer with 11 years of experience building scalable program-analysis and fuzzing tools that find and mitigate deep flaws in cryptographic libraries, kernels, and toolchains. His dissertation and follow-on work span practical defenses against speculative-execution attacks and fine-grained constant-time enforcement, including a Distinguished Paper at IEEE S&P and contributions integrated into OpenSSL. He designs and implements end-to-end frameworks—such as FoxDec and LibBinSeek—that lift, symbolize, and directed-fuzz binaries at scale, and his research reaches into cyber-physical and IoT reliability. Based in Blacksburg at Virginia Tech and forged at Max Planck and Purdue, he blends rigorous academic methods with production-minded security patches and compiler defenses. Notably, he combines low-level binary instrumentation with compiler-driven mitigations, aiming to influence how critical systems are built and hardened against emerging microarchitectural threats.
code11 years of coding experience
job8 years of employment as a software developer
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Radboud University
bookMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Purdue University
bookBachelor of Technology (B.Tech.), Computer Engineering, Bachelor of Technology (B.Tech.), Computer Engineering at National Institute of Technology Karnataka
languagesEnglish, Kannada, Hindi, German
stackoverflow-logo

Stackoverflow

Stats
41reputation
2kreached
1answer
0questions
github-logo-circle

Github Skills (128)

broker10
fhe10
eclipse10
high-speed10
encryption10
async10
secp256k110
notification10
coq10
byte10
rust10
cryptanalysis10
cpu10
libwebsockets10
mosquitto10

Programming languages (7)

C++CRustCoqOCamlAssemblyPython

Github contributions (5)

github-logo-circle
basavesh/academic-kickstart

Jan 2020 - Sep 2022

📝 Easily create a beautiful website using Academic, Hugo, and Netlify
Contributions:11 pushes in 2 years 8 months
hugojamstacknetlifyhugo-themestatic-site-generator
basavesh/FaCT

Aug 2021 - Mar 2022

Flexible and Constant Time Programming Language
Contributions:2 PRs, 28 pushes, 1 branch in 7 months
constant-timecompilerconstantprogramming-languageinterpreter
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
Basavesh Shivakumar - Postdoctoral Associate