{"id":"arxiv/2607.03610","url":"https://arxiv.org/abs/2607.03610","tags":["cs.CR","math.OC"],"score":0,"title":"Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations","domain":"cs.CR","source":"arxiv","authors":["Faruk Alpay","Levent Sarioglu"],"reviews":0,"subject":"cs.CR","summary":"Observer-quotient security studies interactive cryptographic systems whose security depends on what an admissible observer can distinguish across transcripts, leakage traces, and hidden implementation continuations. The paper defines observer-indexed experiments with session identifiers, adaptive schedulers, oracle forwarding, simulators, ideal quotient functionalities, and nonuniform environments, and proves a real/ideal emulation theorem in which sequential morphism defects add, parallel defects obey a product-TV bound, and adaptive observer choice is absorbed by an explicit wrapper…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-03","reactions":{}}