Showing 1 - 1 results of 1 for search '(("advanced verification of computing program") OR ("advanced computation in computing program"))~', query time: 1.18s Refine Results
1
Published 2016
... makes automated verification of constant-time code an essential component for building secure software...
Access document
Export CSV Export RIS