Login / Signup
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