Christophe Crochet
Research Assistant at Université catholique de Louvain
Rambrouch, Diekirch, Luxembourg
Summary
🤩
Rockstar🎓
Top SchoolChristophe Crochet is a cybersecurity researcher and research assistant at UCLouvain with nine years of experience bridging academic research and applied engineering. Currently pursuing a PhD in Computer Science, he focuses on semi-automating Common Criteria certification processes for the AMC3 project while bringing deep expertise in malware analysis, symbolic/concolic execution, and formal verification. He has a track record of turning formal methods into practical tools (e.g., SEMA and Panther) and has collaborated with industry partners like Proximus on real-world POCs integrating RTK and WebRTC. As a former teaching assistant and course contributor, he combines research rigor with a talent for communicating complex security topics to students and practitioners. Based in Brussels, he balances scholarly publication goals with hands-on experimentation and public-facing writing via Medium.
9 years of coding experience
2 years of employment as a software developer
Master's degree, Computer Science, Great distinction, Master's degree, Computer Science, Great distinction at Ecole Polytechnique de Louvain@UCLouvainDoctor's Degree, Computer Science, Doctor's Degree, Computer Science at École polytechnique de Louvain - Louvain School of engineering
French, English
Github Skills (71)
malware10
ietf10
unicorns10
classification10
quic10
apt10
network10
reverse10
lists10
user-friendly10
transport-layer-protocol10
cve10
static-analysis9
docker-compose9
linux9
Programming languages (10)
Github contributions (5)
ElNiak/ipmininet
Oct 2020 - Jul 2024
Mininet extension to make experimenting with IP networks easy
Contributions:141 pushes, 5 branches in 3 years 9 months
routerosexperimentingospfopenflownetwork-tools
ElNiak/QUIC-Ivy
Oct 2020 - Jun 2022
Contributions:459 commits, 32 pushes, 3 branches in 1 year 7 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.