Login / Signup

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.

José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien KoutsosVincent LaporteTiago OliveiraPierre-Yves Strub
Published in: IEEE Symposium on Security and Privacy (2020)
Keyphrases