ElNiak

I’m a cybersecurity researcher and teaching assistant at UCLouvain.

UCLouvain

Pinned Repositories

SEMA
ToolChain using Symbolic Execution for Malware Analysis.
Language:Python47 3 114
cupp-rs
Common User Passwords Profiler (CUPP) in Rust
Language:Rust180
Dorking-PenTesting
Automating the SQL/XSS Injection through GooglE/Github dorks for bug bounty
Language:Python81
PANTHER
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.
Language:Python232
PANTHER-Ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the aut
Language:C++41
PySSH3
Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for more information !
Language:Python100
QUIC-Ivy
Language:C++52
SmartHumanTracker
Language:Python30
Toward-verification-of-QUIC-extensions
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.
4 2 02
u22.04-customization
The Ultimate Guide to Customizing Ubuntu 22.04: Tips and Tricks
30

ElNiak's Repositories

ElNiak/PANTHER
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.
Language:Python232
ElNiak/cupp-rs
Common User Passwords Profiler (CUPP) in Rust
Language:Rust180
ElNiak/PySSH3
Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for more information !
Language:Python100
ElNiak/Dorking-PenTesting
Automating the SQL/XSS Injection through GooglE/Github dorks for bug bounty
Language:Python81
ElNiak/QUIC-Ivy
Language:C++52
ElNiak/PANTHER-Ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the aut
Language:C++41
ElNiak/Toward-verification-of-QUIC-extensions
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.
4 2 02
ElNiak/SmartHumanTracker
Language:Python30
ElNiak/u22.04-customization
The Ultimate Guide to Customizing Ubuntu 22.04: Tips and Tricks
30
ElNiak/ElNiak
20
ElNiak/RustyNetCracker
Advanced credential-cracking tool in Rust, designed to perform brute-force and dictionary attacks on various network protocols with high efficiency and reliabilit
Language:Rust2
ElNiak/CyberLLM
Language:Python11
ElNiak/binrec-tob
BinRec: Dynamic Binary Lifting and Recompilation
Language:C++00
ElNiak/CommitOrNotCommitGPT
ElNiak/eJPT-UCL-Training
ElNiak/ElNiak-CV
Language:HTML
ElNiak/elniak.github.io
ElNiak/github-readme-stats
:zap: Dynamically generated stats for your github readmes
ElNiak/gpt4_security_vulnerability_scanner
GPT-4 found hundreds of security vulnerabilities in this repo
ElNiak/LINGI2144-Public
Language:HTML1
ElNiak/my-website-hugo-cv
Language:TeX
ElNiak/picoquic
Minimal implementation of the QUIC protocol
Language:C
ElNiak/py-qgis-wps
An implementation of the Web Processing Service standard from the Open Geospatial Consortium based on the QGIS processing API
Language:Python
ElNiak/Qgis2threejs
A QGIS plugin to export 3D maps to Web
ElNiak/smartrecon
smartrecon is a powerful shell script to automate the recon and finding common vulnerabilities for bug hunter
ElNiak/ssh3-py-binding
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396
ElNiak/SyllabusC_Systeme
Syllabus d'apprentissage du langage C et des systèmes informatiques pour ingénieurs et informaticiens
Language:C
ElNiak/unipacker
Automatic and platform-independent unpacker for Windows binaries based on emulation
Language:Python
ElNiak/UTCTF-19
Source files and writeups for UTCTF 2019
Language:HTML
ElNiak/WackoPicko
WackoPicko is a vulnerable web application used to test web application vulnerability scanners.
Language:PHP