Work

Typed Faceted Values for Secure Information Flow in Haskell

Year: 2014

Type: article

Authors: Thomas H. Austin, Kenneth Knowles, Cormac Flanagan

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2270148587

FWCI: 0.732

Cites: 33

Cited by: 3

Related to: 10