https://github.com/elniak/elniak

https://github.com/elniak/elniak

Last synced: 21 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/elniak/elniak
• Owner: ElNiak
• Created: 2023-12-01T12:37:37.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-12-12T00:23:52.000Z (22 days ago)
• Last Synced: 2024-12-12T04:42:49.155Z (22 days ago)
• Size: 140 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Funding: FUNDING.yml

Awesome Lists containing this project

README

        
## Hey there 👋, I'm ElNiak  

  





 





  

  





  

  

### Glad to see you here!  

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 have a computer science master degree (155 ECTS) in:

- software engineering, 

- software & network security (mainly for transport and application layers)

- and AI (basic knowledge - ML/DL). 

I love designing systems that are light yet powerful, not over engineered, distributed yet synchronized and beautiful yet effective. 


  

## More about me  

- 🔭 I’m currently working on [SEMA](https://github.com/csvl/SEMA-ToolChain) and [PFV (Protocols Formal Verification)](https://github.com/ElNiak/PFV) and the python version of [SSH3](https://github.com/ElNiak/py-ssh3) ! I am also playing with dorking automation pentesting in the tool named [Dorking-PenTesting](https://github.com/ElNiak/Dorking-PenTesting), the rust version of [CUPP-RS](https://github.com/ElNiak/cupp-rs)



  


  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=PFV)](https://github.com/ElNiak/PFV)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=Protocols-Ivy)](https://github.com/ElNiak/Protocols-Ivy)

  

  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=csvl&repo=SEMA-ToolChain)](https://github.com/csvl/SEMA-ToolChain)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=PySSH3)](https://github.com/ElNiak/PySSH3)

  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=Dorking-PenTesting)](https://github.com/ElNiak/Dorking-PenTesting)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=BountyDork)](https://github.com/ElNiak/BountyDork)

  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=cupp-rs)](https://github.com/ElNiak/cupp-rs)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=RustyNetCracker)](https://github.com/ElNiak/RustyNetCracker)

  

  [![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=awesome-formal-verification)](https://github.com/ElNiak/awesome-formal-verification)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=awesome-ai-cybersecurity)](https://github.com/ElNiak/awesome-ai-cybersecurity)

  

  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=SmartHumanTracker)](https://github.com/ElNiak/SmartHumanTracker)

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=DSLCanvas)](https://github.com/ElNiak/DSLCanvas)

  

[![Readme Card](https://github-readme-stats.vercel.app/api/pin/?username=ElNiak&repo=GitBooster)](https://github.com/ElNiak/GitBooster)

  

- 🌱 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 😎👌  

  


  

### Research

- Rousseaux, T., Crochet, C., Aoga, J., Legay, A. (2024). Network Simulator-Centric Compositional Testing. In: Castiglioni, V., Francalanza, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024. Lecture Notes in Computer Science, vol 14678. Springer, Cham. https://doi.org/10.1007/978-3-031-62645-6_10

  

- 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](10.1145/3488660.3493803)

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

## Languages and Tools  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  

  



  

## Github Stats  



  

   

  










  


  

  


  

![Profile views counter](https://komarev.com/ghpvc/?username=ElNiak&&style=flat-square)  [![committers.top badge](https://user-badge.committers.top/belgium/ElNiak.svg)](https://user-badge.committers.top/belgium/ElNiak)