The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien KoutsosVincent LaporteTiago OliveiraPierre-Yves StrubPublished in: IEEE Symposium on Security and Privacy (2020)