Towards Efficient Verification of Constant-Time Cryptographic Implementations.

Luwei Cai Fu Song Taolue Chen

Published in: Proc. ACM Softw. Eng. (2024)

Keyphrases

lightweight
computationally expensive
computationally efficient
cost effective
neural network
data mining
similarity measure
face verification
algorithms and data structures