A Graded Modal Approach to Relaxed Semantic Declassification

Vineet Rajani, Alex Coleman, Hrutvik Kanabar
January 2025
Cite DOI URL
Type
Conference paper
Publication
38th IEEE Computer Security Foundations Symposium, CSF 2025, Santa Cruz, CA, USA, June 16-20, 2025