Ammar Khadra
Security Software Engineer at Apple
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolAmmar Khadra is a Senior Security Analyst with 11 years of experience specializing in embedded security, secure code auditing, reverse engineering, and virtual hardware prototyping. He holds a PhD in Computer Engineering and applies academic rigor to practical security assessments, currently performing secure code reviews and tooling support at NXP Semiconductors in the Greater Hamburg Area. His work bridges applied research and hands-on analysis, uncovering subtle firmware weaknesses and improving developer workflows through security tooling. Ammar maintains a technical blog, FormallyApplied, and an academic publication record on DBLP, reflecting a habit of documenting and sharing deep technical findings. Colleagues value his ability to translate complex hardware-software interactions into actionable remediation and to prototype virtual hardware to reproduce elusive vulnerabilities.
11 years of coding experience
12 years of employment as a software developer
Master of Science (MSc), Embedded Computing Systems, Master of Science (MSc), Embedded Computing Systems at University of SouthamptonDoctor of Philosophy - PhD, Computer Engineering, Doctor of Philosophy - PhD, Computer Engineering at RPTU Kaiserslautern-Landau
English, German, Italian, Arabic
Github Skills (42)
powerpc10
coverage10
bpf10
x8610
security10
tricore10
risc10
ethereum10
x86-6410
disassembly10
callgraph10
armv810
arm10
elf10
sparc10
Programming languages (3)
Github contributions (5)
abenkhadra/bcov
Apr 2020 - Jan 2021
Static instrumentation tool for efficient binary-level coverage analysis.
Contributions:20 commits, 19 pushes, 1 branch in 9 months
instrumentationcoverageabstract-interpretationprogram-analysisstatic-analysis
abenkhadra/cases16-benchmarks
Jun 2016 - Nov 2020
Contributions:1 push, 1 branch, 1 comment in 4 years 6 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.