
Aura-State
Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Moteur de géolocalisation local en priorité qui identifie les coordonnées GPS précises de photos au niveau de la rue en utilisant les modèles de…

Un agent autonome modulaire et basé sur des compétences pour un Centre d'Opérations de Sécurité (SOC) qui surveille les données…

Jeu d'interrogatoire policier basé sur la voix. Mistral Large 3 + Voxtral STT + ElevenLabs TTS. Conçu pour le Mistral Worldwide Hackathon 2026.

Une approche multi-architecture basée sur les graphes et alimentée par le ML pour la détection des gadgets ROP

AMBER ICI v5: local-first Ollama investigative command center with case-scoped evidence, agent chains, hybrid retrieval, streaming analysis, graph…

Suppression entièrement automatique de la censure pour les modèles de langage

Framework d'analyse statique Android basé sur C pour la décompilation, la détection de secrets, la découverte d'endpoints, l'analyse des permissions…

Réseau neuronal GRU embarqué pour la vérification en temps réel du comportement humain via l'analyse des mouvements de souris, détectant les systèmes…

FLNET2023 est un jeu de données conçu pour la détection d'intrusions dans des scénarios d'apprentissage fédéré. Il est construit à l'aide de…

Testez vos prompts, agents et RAGs. Red teaming / tests d'intrusion / scan de vulnérabilités pour l'IA. Comparez les performances de GPT, Claude,…

# Auditeur de sécurité LDAP Active Directory avec analyse basée sur l'IA - Par Ayi NEDJIMI https://ayinedjimi-consultants.fr

CERTITUDE - Un paquet Python pour classer les URL comme malveillantes ou bénignes

Apprentissage de protocole et fuzzing avec état

Metasploit pour l’apprentissage automatique.

Outil d'évasion antivirus

Détection de domaines DGA par analyse de fréquence des bigrammes

Droidefense: Cadre avancé d'analyse de logiciels malveillants Android