Journal article
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
Journal
, , ,
Publication Date
May 12, 2016