"Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for ..."

Xiaolong Guo, Raj Gautam Dutta, Yier Jin (2017)

Details and statistics

DOI: 10.1109/TIFS.2016.2621999

access: closed

type: Journal Article

metadata version: 2023-08-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics