Justin Handville
Software Security Engineer And Consultant at incept5
Archer, Florida, United States
Summary
👤
Senior🎓
Top SchoolJustin Handville is a software security engineer and consultant with 12+ years of experience designing scalable, secure systems across embedded, kernel, and cloud domains. He has architected products that reached national audiences and retail shelves—helping create the Kwikset Kevo and building security for global payment disbursements—while also contributing to Linux kernel security at Google. His technical breadth spans compiler design, cryptography, device drivers, IoT/firmware, and hypervisor work, with hands-on experience adapting critical open-source tooling like CBMC for OpenBSD. Known for building maintainable, well-documented software, he pairs deep low-level expertise with pragmatic architecture and agile delivery. Based in Archer, Florida, he combines enterprise-grade security modeling with a knack for squeezing performance and compatibility out of constrained platforms.
12 years of coding experience
25 years of employment as a software developer
Largo High School
Github Skills (8)
c1710
build-system10
c1110
openbsd10
clangd9
clang9
c-language8
cprogramming-language8
Programming languages (12)
Github contributions (5)
diffblue/cbmc
Feb 2019 - Dec 2020
C Bounded Model Checker
Role in this project:
Backend Developer
Backend DeveloperContributions:7 commits, 1 PR, 7 comments in 1 year 11 months
Contributions summary:Justin primarily focused on enhancing the build process and compatibility of the C Bounded Model Checker (CBMC) with OpenBSD. They adapted the codebase to align with OpenBSD's specific system calls and configurations, including adjustments to standard library implementations and compiler flags. Furthermore, the user addressed clang-format and standardization issues, ensuring code quality and consistency. This included modifications to the build scripts and configuration files to handle differences in the operating system.
model-checkermodel-checkingcppcheckertla
VeloPayments/v-c-bc
Jul 2020 - Aug 2023
Contributions:613 PRs, 310 pushes, 620 branches in 3 years 2 months
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.