R. Kastner

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A methodology for creating information–flow specifications of hardware designs.

C. Deutschbein and others (2021)

Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking

A. Becker and others (2017) · ACM

Imprecise security: Quality and complexity tradeoffs for hardware information–flow tracking

W. Hu and others (2016) · 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Gate-Level Information Flow Tracking for Security Lattices

W. Hu and others (2014) · Association for Computing Machinery (ACM)

Sapper: A Language for Hardware-Level Security Policy Enforcement

X. Li and others (2014) · ACM

SurfNoC: a low latency and provably noninterfering approach to secure networks-on-chip

H. M. Wassel and others (2013) · ACM SIGARCH Computer Architecture News