12 papers · 1 filter
Provenance and Authorization in Autobiographical Language Models
Faruk Alpay, Taylan Alpay
Autobiographical language models may draw on archives containing observations, quotations, emotional reports, and earlier model outputs. Cryptographic authentication can preserve a…
Approval Integrity and Recovery in LLM Answer Publication
Faruk Alpay, Taylan Alpay
Publication integrity in LLM systems requires binding approved content to its current authorization context. We examine exact-content binding, authorization freshness and checkpoin…
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…
Quantifying Side-Channel Leakage in Public Metrology Releases
Faruk Alpay, Taylan Alpay
Public scientific and metrology releases can leak the hidden settings that produced them. We formalize and quantify this risk as a profiled statistical side-channel audit: a releas…
AgentSecBench: Measuring Prompt Injection, Privacy Leakage, and Tool-Use Integrity in LLM Agents
Faruk Alpay, Taylan Alpay
LLM agents process trusted instructions, retrieved records, and tool observations through a common generative channel. This conflates data flow with authority: an untrusted string…
Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems
Faruk Alpay, Taylan Alpay
We develop a unified mathematical formulation for post-quantum authenticated telemetry and actuation in FADEC-coupled dual-spool turbofan cyber-physical systems. The formulation in…
Reconstructing Trust Embeddings from Siamese Trust Scores: A Direct-Sum Approach with Fixed-Point Semantics
Faruk Alpay, Taylan Alpay, Bugra Kilictas
We study the inverse problem of reconstructing high-dimensional trust embeddings from the one-dimensional Siamese trust scores that many distributed-security frameworks expose. Sta…