Axiomatic Hardware-Software Contracts for Security-MedSci.cn

Axiomatic Hardware-Software Contracts for Security

Mosier, N; Lachnitt, H; Nemati, H; Trippel, C

Mosier, N (通讯作者)，Stanford Univ, Stanford, CA 94305 USA.

PROCEEDINGS OF THE 2022 THE 49TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '22), 2022; (): 72

科室
- - 订阅+
  - 更多科室
工具
服务