sass-king
florianmattana/sass-kingReverse Engineering des NVIDIA SASS-Befehlsverzeichnisses, Kernel-Audits und Mustererkennung auf verschiedenen GPU-Architekturen.
embedded-systems-securitystatic-analysiscode-analysis+8
317
Security-Papers, Forschungsprojekte, technische Referenzen und reproduzierbare Materialien für defensive oder autorisierte Analyse.
florianmattana/sass-kingReverse Engineering des NVIDIA SASS-Befehlsverzeichnisses, Kernel-Audits und Mustererkennung auf verschiedenen GPU-Architekturen.
yuvadm/quantumslopQuantenlöser für das Problem des diskreten Logarithmus auf elliptischen Kurven unter Verwendung des Shor-Algorithmus, der mehrere Orakelstrategien…
agentsid-dev/agentsid-scannerSicherheitsscanner für MCP-Server. Bewertet Authentifizierung, Berechtigungen, Injection-Risiken und Toolsicherheit. Der Leuchtturm der…
iaga-team/iaga-sentinelKryptografisch signierte, replay-verifizierbare Beweisschicht für KI-Agenten. Steuert Aktionen in der Schleife, erzeugt Ed25519-signierte Belege, die…
midstall/aegisOpen-Source-FPGA-Silizium
jepsen-io/duckdbJepsen-basiertes Framework für transaktionale Korrektheitstests für DuckDB, das Isolationsanomalien wie G2-Item- und SSI-Verstöße durch randomisierte…
giancarlolelli/quantumDieses Repository enthält den Code und die Einreichungsdetails für die QDay-Preis-Challenge von https://www.projecteleven.com/
poppopjmp/vmdragonslayerMulti-Engine-Framework zum Entpacken und Analysieren von VM-geschützten Binärdateien mittels dynamischer Taint-Analyse, symbolischer Ausführung,…
packtpublishing/learning-linux-binary-analysisLearning Linux Binary Analysis, erschienen bei Packt
alainnothere/llm-circuit-finderIch habe Ngs RYS-Methode repliziert und festgestellt, dass das Duplizieren von 3 bestimmten Layern in Qwen2.5-32B das Reasoning um 17 % steigert und…
canonicalmg/reverse-captcha-evalEvaluierungsrahmen, der testet, ob große Sprachmodelle unsichtbare Unicode-codierte Anweisungen befolgen, die in normal aussehenden Text eingebettet…
useaitechdad/openclaw-technical-analysisDiese technische Forschung und Überprüfung dient Bildungszwecken an öffentlichem Code und stellt eine faire Nutzung (Fair Dealing) gemäß dem…
chelof100/acp-framework-enAgent Control Protocol (ACP) — Offizielle englische Spezifikation. Kryptographisch überprüfbare Autorisierungsarchitektur für autonome KI-Agenten.
paultendo/confusable-vision793 verwechselbare Paare, die in Unicode TR39 fehlen, weltweit erster skriptübergreifender Datensatz, schriftartenbewusste SSIM-Bewertung über 230…
munshi007/aura-statePython-Framework zum Erstellen von LLM-Workflows als Zustandsmaschinen mit formaler Verifikation durch Z3-Theorembeweise, CTL-Modellprüfung und…
0xkirisame/spicaeBPF-basierter Linux-Rootkit-Detektor mit Multi-Channel-Cross-View-Analyse (sched_switch, NMI, /proc) zur Erkennung von DKOM, Tracepoint-Manipulation…
quantusync/alaniz-cipherVerschlüsselung aus nichtlinearen Garbenmorphismen über Graphen
selinuxproject/selinux-notebookUmfassendes Open-Source-Buch über SELinux, das Kernel-Komponenten, Userspace-Bibliotheken, Policy-Toolchain und Policy-Sprache abdeckt. Enthält…