Towards Efficient Verification of Constant-Time Cryptographic Implementations.

Luwei Cai Fu Song Taolue Chen

Published in: CoRR (2024)

Keyphrases

database
information retrieval
lightweight
cost effective
efficient implementation
real time
data streams
model checking
smart card
cryptographic protocols