elniak Goto Github PK

I’m a cybersecurity researcher and teaching assistant at UCLouvain. Being a researcher allows me to not only develop autonomy and knowledge but also develop two tools improving security and analysis.

I specialize in software engineering, network security of layer 4 and have basic AI competencies. I love designing systems that are light yet powerful, distributed yet synchronized and beautiful yet effective.

• 🔭 I’m currently working on SEMA and PFV (Protocols Formal Verification) and the python version of SSH3 ! I am also playing with dorking automation pentesting in the tool named Dorking-PenTesting, the rust version of CUPP-RS

• 🌱 I’m currently learning Ivy used for formal verification, angr for malware analysis and many other techs. All of my application use Docker for better deployment across the world.

• 💬 Ask me about formal verification and code analysis!

• ⚡ Fun fact: There is no fun! Just writing code and drinking coffee 24/7 only 😎👌

• S Lucca, C Crochet, CHB Van Ouytsel, A Legay (2023). On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS2023

• CH Bertrand Van Ouytsel, C Crochet, KHT Dam, A Legay (2022). Tool paper-sema: Symbolic execution toolchain for malware analysis. International Conference on Risks and Security of Internet and Systems, 62-68

• Crochet, C., Rousseaux, T., Piraux, M., Sambon, J.-F., & Legay, A. (2021). Verifying quic implementations using ivy. In Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC. DOI

• Crochet, C., & Sambon, J.-F. (2021). Towards verification of QUIC and its extensions. (Master's thesis, UCL - Ecole polytechnique de Louvain). Available at UCLouvain. Keywords: QUIC, Formal Verification, RFC, IETF, Specification, Ivy, Network.