Showing 1 - 1 results of 1 for search '(("based verification of computing program") OR ("advanced computation in computing program"))~', query time: 1.41s Refine Results
1
Published 2016
... is based on a simple reduction of constant-time security of a program P to safety of a prod- uct program...
Access document
Export CSV Export RIS