294 skills found · Page 1 of 10
frohoff / YsoserialA proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
ignite / CliIgnite is a CLI tool and hub designed for constructing Proof of Stake Blockchains rooted in Cosmos-SDK
jxy-s / HerpaderpingProcess Herpaderping proof of concept, tool, and technical deep dive. Process Herpaderping bypasses security products by obscuring the intentions of a process.
sec-bit / Learning Zkparticles, codes and tools all about zero-knowledge proofs
tenable / RouterosRouterOS Security Research Tooling and Proof of Concepts
AlmondOffSec / PassTheCertProof-of-Concept tool to authenticate to an LDAP/S server with a certificate through Schannel
bytewreck / DumpGuardProof-of-Concept tool for extracting NTLMv1 hashes from sessions on modern Windows systems.
h4wkst3r / InvisibilityCloakProof-of-concept obfuscation toolkit for C# post-exploitation tools
bublint / Ue5 Llama LoraA proof-of-concept project that showcases the potential for using small, locally trainable LLMs to create next-generation documentation tools.
malvuln / RansomLordRansomLord is a proof-of-concept Anti-Ransomware exploitation tool that automates the creation of PE files, used to compromise ransomware pre-encryption.
juuso / KeychaindumpA proof-of-concept tool for reading OS X keychain passwords
logangoins / KruegerProof of Concept (PoC) .NET tool for remotely killing EDR with WDAC
hoeflerco / ProofsDocuments and tools for proofing fonts
FissionAI / FloTorchFloTorch is an open-source tool for optimizing Generative AI workloads on AWS. It automates RAG proof-of-concept development with features like hyperparameter tuning, vector database optimization, and LLM integration. FloTorch streamlines experimentation, ensures security, and accelerates production with cost-efficient, validated workflows.
lukaszcz / CoqhammerCoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
microsoft / 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 techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
dirkjanm / Forest Trust ToolsProof-of-concept tools for my AD Forest trust research
efeali / FragtunnelFragtunnel is a proof-of-concept (PoC) TCP tunnel tool that you can use to tunnel your application's traffic and bypass next-generation firewalls en route to the target.
hackerhouse-opensource / BackdoorsTools for maintaining access to systems and proof-of-concept demonstrations.
Tierion / PymerkletoolsPython tools for creating Merkle trees, generating Merkle proofs, and verification of Merkle proofs
