
CESS
Secret de Shamir Enchanté Cryptologiquement

Secret de Shamir Enchanté Cryptologiquement

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…

Vérificateur de clés RSA pour CVE-2022-20866

Stack d'automatisation de sonde volante pour hacker matériel, découverte de cibles pilotée par agent, cartographie microscopique, mouvement CNC…

Configuration NixOS de Lan Tian

Cadre de détection automatisée des vulnérabilités pour les vulnérabilités d'exécution transitoire (IEEE S&P '26)

Reconstruire un protocole USB mort : les secrets d’une console portables déverrouillés par un couteau chaud, un voyage multidisciplinaire pour…

SDK corrigés incluant des tbds de framework privé

Module de description de processeur Ghidra pour les familles NEC/Renesas v810 et v830

Ingénierie inverse du dictionnaire d'instructions NVIDIA SASS, audits de noyaux et reconnaissance de motifs à travers les architectures GPU.

Outil déclaratif d'orchestration de VM KVM/QEMU utilisant des fichiers de composition YAML. Gère des piles multi-VM avec cloud-init, SSH, PCI…

Un ISA RISC-V unique par session — chaque démarrage parle un dialecte différent. Les anciens binaires deviennent invalides. Les malwares ne peuvent…

Outils d'analyse du firmware des imprimantes Canon Pixma

Base de données complète des tables d'instructions x86/x64, des latences et des détails de microarchitecture pour l'analyse des performances CPU et…

Dépôt de premier niveau pour LFI : Sandboxing logiciel pratique, efficace et sécurisé

Binaire principal et documentation d'une plateforme d'émulation matérielle basée sur FPGA pour le développement de systèmes rétro, la compilation de…

Silicium FPGA open source

ShadowNet is an anonymous routing protocol that forces all connections (system-wide) to go through Tor while implementing Mixnet-like…