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

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

Solveur quantique pour le problème du logarithme discret sur courbe elliptique utilisant l'algorithme de Shor, mettant en œuvre plusieurs stratégies…

Scanner de sécurité pour les serveurs MCP. Évalue l'authentification, les permissions, les risques d'injection et la sécurité des outils. Le phare de…

Couche de preuve cryptographiquement signée et vérifiable par rejeu pour les agents d'IA. Gouverne les actions dans la boucle, produit des reçus…

Silicium FPGA open source

Framework de test de justesse transactionnelle basé sur Jepsen pour DuckDB, détectant des anomalies d'isolation telles que les violations G2-item et…

Ce dépôt contient le code et les détails de soumission pour le défi du prix QDay par https://www.projecteleven.com/

Framework multi-moteur pour dépaqueter et analyser des binaires protégés par VM en utilisant le suivi de teinte dynamique, l'exécution symbolique, la…

Apprentissage de l'analyse binaire Linux, publié par Packt

J'ai reproduit la méthode RYS de Ng et constaté que dupliquer 3 couches spécifiques de Qwen2.5-32B améliore le raisonnement de 17 %, et que dupliquer…

Cadre d'évaluation qui teste si les grands modèles de langage suivent des instructions invisibles encodées en Unicode intégrées dans un texte…

Cette recherche technique et cet examen sont à des fins éducatives sur du code public et constituent une utilisation équitable en vertu de la Loi sur…

Agent Control Protocol (ACP) — Spécification officielle en anglais. Architecture d'autorisation cryptographiquement vérifiable pour les agents IA…

793 paires ambiguës manquantes dans Unicode TR39, premier jeu de données inter-écritures au monde, notation SSIM tenant compte de la police parmi 230…

Framework Python pour construire des workflows LLM en tant que machines à états avec vérification formelle via la preuve de théorèmes Z3, le model…

Détecteur de rootkit Linux basé sur eBPF utilisant une analyse multi-canal à vues croisées (sched_switch, NMI, /proc) pour détecter DKOM, la…

Chiffrement à partir de Morphismes de Faisceaux Non Linéaires sur des Graphes

Ouvrage open-source complet sur SELinux couvrant les composants du noyau, les bibliothèques espace utilisateur, la chaîne d'outils de politique et le…