When Can Stateless Recovery Defeat Byzantine Quorum Safety? A Tight Normal Form for Single-Step BFT
Byzantine quorum safety relies on correct replicas refusing to sign conflicting values. A replica that loses its protoco
2026-10-07 归档
今日共收录 1979 条安全情报，包含 1214 个 CVE，387 篇安全通告，以及 100 篇研究论文。
← 返回归档列表PerSpectron: Detecting Invariant Footprints of Microarchitectural Attacks with Perceptron
Detecting microarchitectural attacks is critical given their proliferation in recent years. Many of these attacks exhibi
Adaptive Model Inversion Attacks Generalize a Privacy-Robustness Tradeoff
In this paper, we show that standard evaluations of high-resolution Model Inversion Attacks (MIAs) significantly underes
CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs
Compiler-introduced security bugs (CISBs) arise when an optimization, lowering, or instrumentation decision changes a se
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement a
Not What a Child Expressed: Auditing the Sign-to-Text Safety Interface in Child-Facing AI
Automatic sign language translation (SLT) has entered consumer products, turning American Sign Language into English tex
Can Power Draw Constrain Covert Compute? Limits of Analogue Verification for AI Governance
Frontier AI treaties or agreements on limiting computation require external verification; an external auditor must be ab
Simple Extremely Lossy Functions from Small-Exponent Hashing
Extremely Lossy Functions (ELFs) are a standard model primitive that captures many useful properties of random oracles (
Evaluating Behavioral Context for Interpretable IAM Policy Risk Scoring in Cloud Environments
IAM policy analysis typically emphasizes the authorization capabilities encoded in a policy, but security analyst review
ATLAS-AL: Adaptive Trust-Region for Latent Adversarial Searches via Active Learning
Security evaluation of learning-based systems requires more than just testing the system against a fixed collection of a
SAFESHIELD: A Decision-Organization Framework for Deployment-Time Safety of Small Language Models
Deployment-time safety of language models is commonly implemented through runtime guardrails such as input moderation, r
Pauli Error Composition Determines the Multipartite Advantage in Conference Key Agreement
GHZ-based conference key agreement distributes a shared key to $N$ parties in one network use, whereas pairwise BB84 nee
Private online learning and prediction for Littlestone classes
We study mistake bounds for differentially private online learning and online prediction under oblivious realisable adve
Black Hole Radiation Decoding in the Haar Random Oracle Model
We prove optimal query bounds for recovering a single qubit from black-hole radiation in the Haar random oracle model, w
Tight Query Lower Bounds for Quantum Sampling, with an Application to Certified Randomness
Random circuit sampling experiments, the leading demonstrations of quantum computational advantage, are tested with the
Differentially Private Mixing of Public Datasets Improves Private Learning
Many machine learning applications involve sensitive data and therefore require training under differential privacy (DP)
Terracotta: Enabling the Adoption of New DRAM Techniques via a Flexible DRAM Interface and Memory Controller
DRAM continues to limit the performance, energy efficiency, and robustness of modern systems. Many prior works propose D
Cryptanalysis of a Class of Ideal Secret Sharing Schemes Based on the CRT for Polynomial Rings
Based on the CRT for polynomial rings, Yang, Zhu, Fu and Xia (ISIT 2026) proposed a compartmented secret sharing scheme
SatBleed: Security of Commoditized Communication Modules in Satellites
Substantial reduction in launch and manufacturing costs has resulted in the accelerated deployment of small satellite mi
PRA-TLS: Attestation of a Client Application for TEE
Trusted Execution Environments (TEEs) are secure foundations for protecting sensitive information and executing computat