PROSPECT: Provably Secure Speculation for the Constant-Time Policy

Daniel, Lesly-AnnLesly-AnnDanielBognar, MartonMartonBognarNoorman, JobJobNoormanBardin, SebastienSebastienBardinRezk, TamaraTamaraRezkPiessens, FrankFrankPiessens2024-05-222024-01-082024-05-222023N/AWOS:001066451507022https://imec-publications.be/handle/20.500.12860/43355PROSPECT: Provably Secure Speculation for the Constant-Time PolicyProceedings paper978-1-939133-37-3WOS:001066451507022