Sign in

Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.

José Bacelar AlmeidaManuel BarbosaGilles BartheVincent LaporteTiago Oliveira
Published in: INDOCRYPT (2020)
Keyphrases
  • cellular automata
  • model checking
  • information security
  • signature verification
  • databases
  • image sequences
  • similarity measure
  • multiscale
  • temporal logic
  • face verification