Work

A Hardware Design Language for Efficient Control of Timing Channels

Year: 2014

Type: article

Abstract: Content file updated by author on 15 January 2015.

Source: eCommons (Cornell University)

Authors: Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers

Institution: Cornell University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Multidisciplinary University Research Initiative, Office of Naval Research

Awards: CAREER: Flexible Multi-Core Substrate for Trustworthy Computing Systems, G6098521345, TC: Medium: Higher-Level Abstractions for Trustworthy Federated Systems, G7150940694, SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System, G854155751, G8876996369

OpenAlex ID: W140898647

FWCI: 2.328

Cites: 48

Cited by: 7

Related to: 10