🔒 Language-based security - matmat · Scour

CI-Work: Benchmarking Contextual Integrity in Enterprise LLM Agents 🛡️Proof-Carrying Data

Additive Cryptography for TLS 🌐DNS Security

Building an Auditable Security Layer for Agentic AI 🧪Protocol Fuzzing

techcommunity.microsoft.com·3d

No Exploit Needed: How Attackers Walk Through the Front Door via Identity-Based Attacks 🎯Threat Hunting

thehackernews.com·4d

Verifpal 0.51.0: Sharper Semantics for Passwords, Assertions, and AEAD 🧪Binary Fuzzing

symbolic.software·6d

Reinforcing privacy reasoning in LLMs via normative simulacra from fiction 🛡️Differential Privacy

Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs ⚡Proof Automation

Stealthy Backdoor Attacks against LLMs Based on Natural Style Triggers 🛡️WASM Sandboxing

Making TransactionIsolation Checking Practical ✅Format Verification

An AI Agent Execution Environment to Safeguard User Data 🛡️Preservation Proofs

Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways 🌐Protocol Synthesis

Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs ⚡Proof Automation

False Security Confidence in Benign LLM Code Generation 🧪CBOR Fuzzing

Stringology Based Cryptology 🔐Cryptographic Archaeology

Understanding Secret Leakage Risks in Code LLMs: A Tokenization Perspective 💻Local LLMs

Safety, Security, and Cognitive Risks in State-Space Models: A Systematic Threat Analysis with Spectral, Stateful, and Capacity Attacks 🧠Intelligence Compression

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility 🧮Z3 Solver

Compositional security definitions for higher-order where declassification 🎯Dependent Preservation

A Survey on the Security of Long-Term Memory in LLM Agents: Toward Mnemonic Sovereignty 💻Local LLMs

SoK: Security of Autonomous LLM Agents in Agentic Commerce 🌳Archive Merkle Trees

arxiv.org·5d·Hacker News

Log in to enable infinite scrolling