Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/elniak/elniak.github.io

Last synced: 21 days ago
JSON representation

Host: GitHub
URL: https://github.com/elniak/elniak.github.io
Owner: ElNiak
Created: 2024-03-06T09:22:53.000Z (10 months ago)
Default Branch: main
Last Pushed: 2024-03-06T09:34:14.000Z (10 months ago)
Last Synced: 2024-12-12T04:42:49.424Z (22 days ago)
Size: 9.77 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

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 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.

## 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)

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

## Languages and Tools