Preprint
Secure and trusted white-box verification
Abstract
Verification is the process of checking whether a product has been
implemented according to its prescribed specifications. We study the case of a
Authors
Cai Y; Karakostas G; Wassyng A
Publication date
May 12, 2016
DOI
10.48550/arxiv.1605.03932
Preprint server
arXiv