Verifying constant-time cryptographic algorithm implementations

The aim of this project is to verify the timing side-channel resistance of cryptographic implementations. The project focuses on the constant time (and constant memory access) generic cryptographic implementations of selected cryptographic algorithms. The ultimate goal is to choose an appropriate open source project and to enhance it with constant time checks of time-critical implementations. The developed solution should work for different platforms (e.g., x86-64, aarch64, powerpc64, s390) and algorithms.