Work

A Graded Modal Approach to Relaxed Semantic Declassification

Year: 2025

Type: conference-paper

Source: Proceedings - Computer Security Foundations Workshop/Proceedings

DOI: 10.1109/csf64896.2025.00032

Authors: Vineet Rajani, Alex Coleman, Hrutvik Kanabar

Institution: University of Kent

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4413205012

FWCI:

Cites: 35

Cited by:

Related to: 10