Denis Efremov
Consulting Software Engineer at Oracle
Abu Dhabi, Abu Dhabi Emirate, United Arab Emirates
Summary
👤
Senior🎓
Top SchoolDenis Efremov is a consulting software engineer with 14 years of experience specializing in Linux kernel development, formal verification, and security-focused static and dynamic analysis tools. He has a strong research background from ISPRAS, where he produced formal specifications and Coq/Frama-C proofs for hundreds of kernel functions and helped projects achieve high-security certifications. At Oracle he prepares livepatches, leads kernel QA/fuzzing, and tracks CVEs, while his open-source contributions include notable work on Google’s syzkaller kernel fuzzer and device-specific kernel trees. Denis combines low-level device driver and power-management expertise with tooling for continuous verification and runtime trace replay, a niche that bridges academic proof techniques and production security. He’s taught OS kernel construction and software verification at top Russian universities, and his GitHub history shows a knack for finding subtle kernel bugs and automating detection rules. Based in Abu Dhabi, he brings rare depth in both formal methods and practical kernel hardening.
13 years of coding experience
10 years of employment as a software developer
Lomonosov Moscow State University
Русский, English
Github Skills (23)
linux10
c1110
security10
c1710
i2c10
kernel10
system-calls10
device-tree10
driver10
device-driver10
sys10
kernel-mode10
fuzzing10
embedded10
filesystem9
Programming languages (15)
Github contributions (5)
CruelKernel/samsung-exynos9820
Nov 2019 - Dec 2022
Unified kernel tree for S10 and Note10 devices
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6799 commits, 116 PRs, 543 pushes in 3 years 1 month
Contributions summary:Denis primarily focused on modifying and updating low-level code related to the battery management system. Their commits involved intricate changes to device tree source files, particularly concerning battery data and temperature thresholds. The user also appears to have expertise in sensor integration, as demonstrated by modifications to device driver code. These changes suggest the user was involved in the device's power management.
kernelsamsungchromebookexynos9820tablet
google/syzkaller
Apr 2018 - Oct 2022
syzkaller is an unsupervised coverage-guided kernel fuzzer
Role in this project:Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:4 reviews, 31 commits, 33 PRs in 4 years 6 months
Contributions summary:Denis primarily contributed to the `google/syzkaller` repository by adding and modifying definitions for various Linux kernel structures, system calls, and ioctl commands, specifically related to I2C, CDROM, Video4Linux, and SCSI interfaces. They also introduced new mount options for XFS and BTRFS filesystems, demonstrating a focus on kernel functionality. The user's commits consistently involved code changes that suggest a strong understanding of kernel internals and system call interfaces within the domain of fuzzing.
kernelsecurity-toolscoverage-guidedfuzz-testingsecurity
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.