🪝 eBPF - meib · Scour

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🔐Cryptography

eprint.iacr.org·6d

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification ✅Formal Verification

Full Disclosure: ESP-RFID-Tool v2 PRO 🔐Cryptography

seclists.org·1d

More Than A Firewall 🔐Cryptography

kadir/copy-fail-CVE-2026-31431-IOC: Detection, mitigation, and IOC toolkit for Copy Fail CVE-2026-31431 Linux kernel page-cache privilege escalation 🛡️Memory Safety

github.com·14h·Hacker News

TurboQuant on a MacBook Pro, part 2: perplexity, KL divergence, and asymmetric K/V on M5 Max 📐SIMD

llmkube.com·2d·r/LocalLLaMA

Next-Level Observability with OpenTelemetry ✅Formal Verification

blog.jetbrains.com·1d

GnuPG – post-quantum crypto landing in mainline 🔐Cryptography

lists.gnupg.org·4d·Hacker News

[Research] Full-chain RCE in Microsoft Semantic Kernel & Agent Framework 1.0 (6 Bypasses) 🎮Game Engines

nuka-ai.github.io·2d·r/netsec

Exploiting Vulnerable Drivers 🛡️Memory Safety

textslashplain.com·1d

Flash Attention 2 in CuteDSL: A Naive Kernel, Three Optimizations, and Where I Got Stuck 📐SIMD

kyrieblunders.bearblog.dev·6d·Hacker News

Simplifying AWS defense with Microsoft Sentinel UEBA 🔐Cryptography

microsoft.com·2d

OpenObserve – cloud-native observability platform 💾CPU Architecture

linuxlinks.com·4d

CDR Link Penetration Tests Sponsored by OTF Security Lab 🔐Cryptography

Free book: FreeBSD Device Drivers by Edson Brandi 🐧Linux Kernel

blog.adafruit.com·2d

Presentation: Building a Future-Proof Observability Platform to Empower Engineers ✅Formal Verification

·3d

eDySec: A Deep Learning-based Explainable Dynamic Analysis Framework for Detecting Malicious Packages in PyPI Ecosystem 🔍Static Analysis

FreeBSD Security Advisory FreeBSD-SA-26:16.libnv 🔧RISC-V

Security updates for Friday [LWN.net] 💾CPU Architecture

Research: When Trusted Tools Become Attack Primitives 🔐Cryptography

seclists.org·1d

Log in to enable infinite scrolling