Work

Reactive noninterference

Year: 2009

Type: conference-paper

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/1653662.1653673

Authors: Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic

Institution: University of Pennsylvania

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2296605318

FWCI: 5.768

Cites: 23

Cited by: 96

Related to: 10