24 papers
AccretionLink: On-Device Auditing of Exposure-Control Attacks on Attribute Inference
Faruk Alpay, Taylan Alpay
Exposure control lets an adversary rank authentic public posts to strengthen private-attribute inference without altering content. AccretionLink defines confidentiality and integri…
Conductance-Repair Evidence Graphs for Prospective Security Retrieval
Faruk Alpay, Taylan Alpay
Security retrieval is often evaluated as ranking over complete evidence, but operational triage is prospective: CVE descriptions, weakness metadata, fix commits, EPSS scores, KEV m…
Unprivileged Topology Certificates for Cloud GPU Attestation
Faruk Alpay, Taylan Alpay
Cloud GPU tenants receive a model name and a region, but cannot directly inspect the physical accelerator that runs their job. We present a software-only attestation primitive for…
Compute-Budgeted Exploitability Evidence Graphs for Prospective Vulnerability Triage
Faruk Alpay, Taylan Alpay
Defenders cannot patch every newly disclosed vulnerability at once, so exploitability prediction must be evaluated prospectively rather than retrospectively. We study compute-budge…
Choric Masking in Ambient Release Systems: A Finite Certificate Calculus for Trace Indistinguishability under Bounded Audiences
Faruk Alpay, Taylan Alpay
This paper develops a finite certificate calculus for ambient release systems, staged probabilistic environments in which a protected coordinate is not observed directly but can re…
Layer Order Semantics for Automata-Based Cybersecurity
Faruk Alpay, Taylan Alpay
Layered cybersecurity pipelines transform evidence before they decide on it, and the order of those transformations determines which security facts become visible to which layer. T…