Login / Signup
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).
Lesly-Ann Daniel
Marton Bognar
Job Noorman
Sébastien Bardin
Tamara Rezk
Frank 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