This project proposal takes place in the broader context of the “National Cryptography” project. After the specification and design of the mathematical cryptographic algorithms, these must be translated into actual code which can be executed by a computer device. This translation process can also be the source of errors, which could have dramatic consequences.
For this project we propose to study and execute validation procedures for the implementation of cryptographic software.
Software validation is not a new topic. There are already multiple techniques and tools available to evaluate the quality of software:
However, most of these tools and techniques focus on general purpose software. For this project we will study how these can applied to the special case of cryptographic software, which has special needs bot in terms of security and mathematical complexity.