Blog
-
Der Kryptoschrauber lässt den Beweisstempel auf Rust fallen
Im Kryptokeller fällt ein schwerer Stempel auf Rust-Code: Microsoft Research zeigt, wie SymCrypt mit Lean, Aeneas und maschinengeprüften Beweisen aus dem Teststand in die Beweiswerkstatt rollt.
-
Der Router steht im Flur und lässt die Tür zählen
Ein alter Router, ein paar offene Verwaltungstürchen und eine CISA-Warnung: Im Flur zählt SNMP die Ports, während die Blechpresse den Patch-Schlüssel sucht.
-
Der Kliniker-Token rutscht durch den Bildbetrachter
Im Klinikflur zieht jemand an einem Link, und der Bildbetrachter klappert mit dem Token-Kästchen. CISA warnt vor einer SSRF-Lücke in OHIF Viewers DICOM; die Blechpresse legt den Röntgenfilm unter die Walze.