Daniel Henry-mantilla
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolDaniel Henry-mantilla is a cybersecurity R&D engineer with 11 years of experience at the intersection of cryptography, reverse engineering, and systems programming. A graduate of École polytechnique with a SecNumEdu-labeled Master's in Cryptology and Cybersecurity, he has moved research prototypes from Python proofs-of-concept into production-grade Rust features for real-time malicious flow analysis. His work at Gatewatcher focused on automatic shellcode detection and high-performance emulation/flow-graph analysis across x86/x64, blending formal-methods thinking from earlier research at IMDEA with practical tooling. Curious and autodidactic, he is sharpening reverse-engineering skills and builds his own tools, often favoring Rust (hence the crab emoji) alongside C and Python. A former teaching intern and military servicemember, he brings clear communication, mentorship instincts, and disciplined teamwork to complex security problems.
10 years of coding experience
1 year of employment as a software developer
MPSI-Computing (L1) then MP* (L2), MPSI-Computing (L1) then MP* (L2) at Lycée Henri IVBaccalauréat, Bac SVT - Spécialité Mathématiques, Baccalauréat, Bac SVT - Spécialité Mathématiques at Lycée Français de MadridMaster's Degree, Master of Science : Mathematics, Computer Science, Physics, Mechanics, Master of Science : Mathematics, Computer Science, Physics, Mechanics, Master's Degree, Master of Science : Mathematics, Computer Science, Physics, Mechanics, Master of Science : Mathematics, Computer Science, Physics, Mechanics at Ecole polytechniqueMaster’s Degree, Cryptology and Cybersecurity [SecNumEdu], Master of Science, Master’s Degree, Cryptology and Cybersecurity [SecNumEdu], Master of Science at Université de Bordeaux
English, French, Spanish, Latin
Github Skills (200)
pe-analyzer10
scheduling10
async-await10
linter10
elf10
strip10
lto10
capstone10
unsafe10
data-storage10
localization10
event-loop10
napi10
vulnerabilities10
rust-crates10
Programming languages (14)
Github contributions (5)
danielhenrymantilla/higher-kinded-types.rs
May 2023 - Mar 2025
"Generic generics" / higher-kinded APIs in stable Rust.
Contributions:3 releases, 5 PRs, 33 pushes in 1 year 10 months
gathigher-kinded-typehktlending-iteratorrust
getditto/safer_ffi
Jan 2020 - Dec 2022
Write safer FFI code in Rust without polluting it with unsafe code
Contributions:13 releases, 80 reviews, 351 commits in 2 years 10 months
rustunsafeffisafer
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.