Christophe Crochet
Research Assistant at Université catholique de Louvain
Brussels, Belgium
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 (77)
python10
network-analysis10
testing10
malware10
cybersecurity10
unicorns10
docker-compose10
classification10
quic10
network10
network-security10
reverse10
reproducible-research10
transport-layer-protocol10
reverse-engineering10
Programming languages (11)
Github contributions (5)
ElNiak/PANTHER
Nov 2021 - Aug 2022
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
Contributions:10 releases, 4 reviews, 71 commits in 9 months
formal-verificationnetwork-protocolformal-methodsivyprotocol
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.