TY - RPRT TI - Demystifying Information Flow Downgrading using the Real--Ideal Paradigm AU - Suraaj Kanniwadi AU - Andrew C. Myers PY - 2026 UR - https://arxiv.org/abs/2611.05695 ID - 2611.05695 ER -