AWS Kiro: Arbitrary Code Execution via Indirect Prompt Injection
embracethered.com·8h
🛡️CLI Security
What’s New in Calico – Summer 2025
tigera.io·1d
📦Container Security
FTC Issues Letters to Big Tech: No Back Doors
puri.sm·1d
💿WORM Storage
Discussing the Open Source, Open Threats? paper with Behzad and Ali
opensourcesecurity.io·1d
🔓Open Source Software
Intel-Chips: USA inside
heise.de·3h
🧪Hardware Fuzzing
Event Catalog — Exploring The Advanced Capabili
medium.com·1d
🏷️Metadata Standards
DigitalPlat FreeDomain: Free Domain for Everyone
github.com·1h·
Discuss: Hacker News
🏠Personal Archives
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·2h·
Discuss: Hacker News
🌊Streaming Systems
Nevada forced to close state government offices following wide-ranging 'network security incident' - here's what we know
techradar.com·5h
🛡Cybersecurity
A new layer of security for certified Android devices
android-developers.googleblog.com·1d·
Discuss: Hacker News, r/Android
🛡️ARM TrustZone
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·57m·
Discuss: DEV
⚡gRPC
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
RomCom and TransferLoader IoCs in the Spotlight
circleid.com·1d
📡DNS Archaeology
Boss-Ship vs. Management and Math
medium.com·4h·
Discuss: Hacker News
⚙️Proof Engineering
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
Block unsafe prompts targeting your LLM endpoints with Firewall for AI
blog.cloudflare.com·8h
🛡️CLI Security
Opportunities and Challenges of Integrating ChatGPT in Education: Sentiment Analysis and Topic Modeling
arxiv.org·18h
📄Text Mining