
arduino-pico
Cœur Arduino pour Raspberry Pi Pico, pour toutes les cartes RP2040 et RP2350

Cœur Arduino pour Raspberry Pi Pico, pour toutes les cartes RP2040 et RP2350

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…

Protégez vos clés SSH avec le Secure Enclave de votre Mac

iPXE chargeur d'amorçage réseau

Cadre d'évaluation de la sécurité des plateformes

Miroir officiel de QEMU. Veuillez consulter https://www.qemu.org/contribute/ pour savoir comment soumettre des modifications à QEMU. Les Pull…

Un framework Linux permettant de définir des shims de cartes PCIe "virtuelles" définis par l'espace utilisateur pour faciliter le développement de…

Cadre OWASP recensant les 10 principaux risques de sécurité dans les infrastructures de neocloud et de centres de données d'IA, couvrant le matériel,…

HAL – L'analyseur matériel

Routines cryptographiques et utilitaires à usage général pour les projets du Secure Systems Lab de NYU.

Plugin et chargeur IDA pour l'analyse de firmware UEFI et l'automatisation de la rétro-ingénierie

Ensemble complet de plus de 1500 profils AppArmor pour confiner les processus système Linux, les bureaux et les services, avec prise en charge de…

Langage spécifique au domaine pour écrire des modèles de dispositifs fonctionnels rapides pour les plates-formes virtuelles. Compile le DML en C avec…

A PoC of the CVE-2024-56426 vulnerability.

Le sandbox LoongArch le plus rapide

Outils open source et middleware pour cartes à puce. PKCS#11/MiniDriver

Overlay Gentoo pour les outils de sécurité ainsi que le cœur du Livecd Pentoo

YellowKey BitLocker recovery audits CVE-2026-45585 : yellowkey github, TPM, sauvegarde de clé de récupération. Windows 10/11 CLI GUI, outil d'audit…