Buterin: Formale Verifikation mit KI könnte Sicherheits-Wettrüste
Vitalik Buterin propagiert KI-gestützte formale Verifikation als Lösung für von KI verursachte Sicherheitsrisiken. Der Ledger-CTO sieht dagegen aktuell die Angreifer im Vorteil.
19. Mai 2026vitalik buterin
Ollama-Sicherheitslücke: 175.000 KI-Systeme offen im Netz
Über 175.000 ungesicherte Ollama-KI-Systeme sind öffentlich im Internet erreichbar. Fast die Hälfte kann Code ausführen, was ein enormes Sicherheitsrisiko darstellt.
30. Jan. 2026ollama
IBM Bob AI: Kritische Sicherheitslücke erlaubt
Eine kritische Sicherheitslücke in IBMs neuem KI-Coding-Agent 'Bob' erlaubt es Angreifern, Malware zu installieren. Die Schwachstelle nutzt eine Kombination aus Prompt Injection und Konfigurationsfehlern aus.
9. Jan. 2026ki-sicherheit