Pinned Repositories
SEMA
ToolChain using Symbolic Execution for Malware Analysis.
BountyDrive
BountyDrive is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for performing attacks (google dorking, sqli, xss), reporting, and managing VPN/proxy settings, making it an indispensable asset for any security professional.
cupp-rs
Common User Passwords Profiler (CUPP) in Rust
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.
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
PySSH3
Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for more information !
QUIC-Ivy
SmartHumanTracker
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.
ElNiak's Repositories
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.
ElNiak/Toward-verification-of-QUIC-extensions---EPIQ21
ElNiak/cuckoo
Cuckoo Sandbox is an automated dynamic malware analysis system
ElNiak/LaTeX-examples
Examples for the usage of LaTeX
ElNiak/covidbe-opendata
MAPS with open-data visualisation
ElNiak/MyChessAI
ElNiak/chessAI
ElNiak/LINGI2144-Secured-System-Engineering-TPs
ElNiak/CVOnline
ElNiak/ghidra_SavePatch
A Ghidra script to save small patches back to the executable file
ElNiak/ipmininet
Mininet extension to make experimenting with IP networks easy
ElNiak/AcademicContent
Free tech resources for faculty, students, researchers, life-long learners, and academic community builders for use in tech based courses, workshops, and hackathons.
ElNiak/PowerSploit
PowerSploit - A PowerShell Post-Exploitation Framework
ElNiak/Empire
Empire is a PowerShell and Python post-exploitation agent.
ElNiak/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
ElNiak/LINGI2146-GroupM
ElNiak/DSLCanvas
ElNiak/byob
BYOB (Build Your Own Botnet)
ElNiak/LINGI2252---Groupe-E
ElNiak/ProjectsOfMiningPatternsInData
ElNiak/lingi2142
The set of scripts to provision VMs, build a virtual exchange point and run virtual campus networks on VM for the course LINGI2142.
ElNiak/LINGI1123-Calculabilite
ElNiak/Syntheses
Synthèses et travaux pour l'EPL
ElNiak/LFSAB1509-TheAccountant
ElNiak/P4-TeamCompatable
ElNiak/PROJET-RESEAU-Chris-Damien
ElNiak/JobSearch
ElNiak/BackboneJsAndFullCalendar
ElNiak/binary-encryption
Original code about binary encryption from phrack