Sign in

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).

Lesly-Ann DanielMarton BognarJob NoormanSébastien BardinTamara RezkFrank Piessens
Published in: CoRR (2023)
Keyphrases
  • provably secure
  • security model
  • key management
  • standard model
  • public key
  • hash functions
  • blind signature scheme
  • signature scheme
  • partially blind signature scheme
  • low cost
  • end to end