Showing 1 - 1 results of 1 for search '(("advanced computation in computing program") OR ("advanced verification of computing program"))~', query time: 1.47s 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