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.
11 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)
upx10
parser10
continuation10
cargo10
xor10
bug-tracker10
mach10
filesystem-events10
rust-wasm10
security10
ffi10
cldr10
linter10
proc-macro10
elf10
Programming languages (14)
Github contributions (5)
danielhenrymantilla/nougat.rs
May 2022 - Aug 2022
(lifetime) GATs on stable Rust
Contributions:5 releases, 4 reviews, 33 commits in 2 months
rust
danielhenrymantilla/stackbox.rs
Nov 2020 - Jul 2021
`&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)
Contributions:6 releases, 10 reviews, 11 commits in 8 months
move-semanticsrust
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.