Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations

Faruk Alpay, Levent Sarioglu

Observer-quotient security studies interactive cryptographic systems whose security depends on what an admissible observer can distinguish across transcripts, leakage traces, and h…