Vineet Rajani, Alex Coleman, Hrutvik Kanabar. A Graded Modal Approach to Relaxed Semantic Declassification. In 38th IEEE Computer Security Foundations Symposium, CSF 2025, Santa Cruz, CA, USA, June 16-20, 2025. pages 268-283, IEEE, 2025. [doi]
Abstract is missing.