
KernelPatch
Patch et hooking du noyau Linux avec seulement une image de noyau Linux strippée.

Patch et hooking du noyau Linux avec seulement une image de noyau Linux strippée.

Authentificateur FIDO2/WebAuthn expérimental basé sur RP2040 avec attestation packed et interopérabilité documentée Windows/Entra

Centralized, TPM 2.0 hardware-backed cryptographic identity enclave and multi-protocol bridge for Linux (FIDO2/CTAP2 WebAuthn Passkeys, OpenSSH…

Index organisé de recherches en sécurité des jeux vidéo : mécanismes internes des anti-triche, attaques DMA, rétro-ingénierie, protections…

Specter — lecteur/balayeur passif de mouchards NFC à 13,56 MHz pour Flipper Zero. Détecteur EMF de contre-surveillance utilisant la puce NFC…

Abrite le Signal Protocol ainsi que d'autres primitives cryptographiques qui rendent Signal possible.

Le référentiel de Microsoft regroupant les objets de démarrage sécurisé (KeK, Db, Dbx) pour le firmware et le runtime, permettant des mises à jour de…

Un protocole de réseau sans serveur conçu pour la synchronisation résiliente d'état entre agents autonomes dans des réseaux fragmentés à faible bande…

SécurixOS est un système d'exploitation sécurisé basé sur NixOS, conçu pour les équipes de petite à moyenne taille. Il offre un environnement minimal…

EMBA - L'analyseur de sécurité du firmware

Outil et cadre pour lire en toute sécurité des périphériques de stockage de masse USB non fiables.

Agent SSH qui crée et gère des clés scellées par TPM pour une authentification liée au matériel, prenant en charge la génération de clés,…

Jailbreak pour les appareils A8 à A11 et T2, sur iOS/iPadOS/tvOS 15.0, bridgeOS 5.0 et versions supérieures.

nextpnr outil portable de placement et routage pour FPGA

Simulateur de jeu d'instructions RISC-V fonctionnel supportant de multiples extensions (RV32/64, V, cryptographie) avec mode de débogage interactif,…

Recherche indépendante en sécurité IoT, divulgations de vulnérabilités et PoCs axés sur l'analyse des firmwares, les interfaces matérielles et les…

Chaîne d'outils open-source de sécurité matérielle pour la capture de traces de consommation, l'analyse par canaux auxiliaires et les attaques par…

Firmware Flipper Zero — code source