Verification of Machine Code Implementations of Arithmetic Functions for Cryptography
by
Magnus O. Myreen
,
Michael J. C. Gordon
| Citations: | 2 - 0 self |
BibTeX
@MISC{Myreen_verificationof,
author = {Magnus O. Myreen and Michael J. C. Gordon},
title = {Verification of Machine Code Implementations of Arithmetic Functions for Cryptography},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This report presents a methodology and some preliminary results for verification of machine code implementations of cryptographic operations. Modularity and reusability of proofs is emphasised. 1
