Typing High-Speed Cryptography against Spectre v1Basavesh Ammanaghatta Shivakumar, Lucas Tabary-Maujean|Unknown|2023Cited by 21