Login / Signup

Towards Efficient Verification of Constant-Time Cryptographic Implementations.

Luwei CaiFu SongTaolue Chen
Published in: CoRR (2024)
Keyphrases
  • database
  • information retrieval
  • lightweight
  • cost effective
  • efficient implementation
  • real time
  • data streams
  • model checking
  • smart card
  • cryptographic protocols