-
-
A QUIC client, client library and server implementation in Java. Supports HTTP3 with "Flupke" add-on.
-
base-drafts Public
Forked from quicwg/base-draftsInternet-Drafts that make up the base QUIC specification
Shell UpdatedOct 24, 2024 -
libnetguard Public
Forked from zhkl0228/libnetguardVPN packet capture server
-
PANTHER Public
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. Furthermo…
-
PANTHER-Ivy Public
Forked from kenmcmil/ivyIVy 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 techniq…
-
ivy-syntax-highlight Public
Forked from Consensys/ivy-syntax-highlightApache License 2.0 UpdatedAug 17, 2024 -
picoquic Public
Forked from FlyearthR/picoquicMinimal implementation of the QUIC protocol
C MIT License UpdatedAug 11, 2024 -
awesome Public
Forked from sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics
-
awesome-formal-verification Public
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
-
cupp-rs Public
Common User Passwords Profiler (CUPP) in Rust
-
awesome-ai-cybersecurity Public
Welcome to the ultimate list of resources for AI in cybersecurity. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusia…
-
BountyDrive Public
Forked from j1t3sh/SQL-Injection-FinderBountyDrive is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for performing attacks (google dorking, sqli, xss), reporting, and …
-
BountyDork Public
BountyDork is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for performing attacks, reporting, and managing VPN/proxy settings, …
-
-
-
u22.04-customization Public
The Ultimate Guide to Customizing Ubuntu 22.04: Tips and Tricks
2 UpdatedMay 22, 2024 -
RustyNetCracker Public
Advanced credential-cracking tool in Rust, designed to perform brute-force and dictionary attacks on various network protocols with high efficiency and reliabilit
-
SmartHumanTracker Public
Forked from Martinviv/pcap_analyzerBy dissecting encrypted wireless network traffic, researchers can uncover the physical layout and device locations within a smart home, presenting significant privacy concerns.
-
-
-
PySSH3 Public
Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for more information !
-
ssh3-py-binding Public
Forked from francoismichel/ssh3SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396
Go Apache License 2.0 UpdatedDec 22, 2023 -
github-readme-stats Public
Forked from anuraghazra/github-readme-stats⚡ Dynamically generated stats for your github readmes
JavaScript MIT License UpdatedDec 18, 2023 -
smartrecon Public
Forked from kh4sh3i/smartreconsmartrecon is a powerful shell script to automate the recon and finding common vulnerabilities for bug hunter
-
-
-
gpt4_security_vulnerability_scanner Public
Forked from chris-koch-penn/gpt3_security_vulnerability_scannerGPT-4 found hundreds of security vulnerabilities in this repo
PHP UpdatedMar 13, 2023 -
binrec-tob Public
Forked from trailofbits/binrec-tobBinRec: Dynamic Binary Lifting and Recompilation
C++ Other UpdatedDec 5, 2022 -
{{ message }}