
tamarin-prover
Outil de vérification symbolique pour les protocoles de sécurité utilisant la réécriture de multiensembles et la résolution de contraintes afin de…
Brèves mises à jour éditoriales des outils de cybersécurité publiés.

Outil de vérification symbolique pour les protocoles de sécurité utilisant la réécriture de multiensembles et la résolution de contraintes afin de…

Équipe rouge IA locale d'abord pour la sécurité des applications web, API et LLM. Raisonnement de type attaquant, constats étayés par des preuves et…

Agents autonomes de pentesting IA — reconnaissance en temps réel, détection de vulnérabilités et orchestration de l'exploitation. Go + TypeScript.

PEASS - Suite de scripts impressionnants pour l'escalade de privilèges (avec couleurs)

Plan de contrôle d’exécution auto-hébergé pour les agents IA. Observez, approuvez via HITL ou bloquez les appels d’outils malveillants avant leur…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

Serveur DNS passif qui détecte les buckets de stockage cloud exposés (AWS S3, GCP, Azure) en résolvant les requêtes DNS, en traçant les chaînes…

VPN maillé pair-à-pair chiffré pour la forensique mobile à distance, permettant l'acquisition sans fil via ADB et libimobiledevice, la surveillance…

Plateforme d'analyse intelligente des composants qui exploite les SBOM pour identifier et réduire les risques de la chaîne d'approvisionnement…

Console de triage DFIR pour hôtes Windows qui enchaîne la collecte d'artefacts, les chronologies corrélées Sigma, les analyses YARA, l'inspection des…

Framework de reconnaissance OSINT et de sécurité de domaine exécutant 26 modules parallèles pour le DNS, les ports, les sous-domaines, les…

🔒 Consolidation et extension des fichiers hosts à partir de plusieurs sources soigneusement sélectionnées. Choix optionnel d'extensions pour la…