Cited By
View all- van der Wall SMeyer R(2025)SNIP: Speculative Execution and Non-Interference Preservation for Compiler TransformationsProceedings of the ACM on Programming Languages10.1145/37048879:POPL(1506-1535)Online publication date: 9-Jan-2025
- Arranz Olmos SBarthe GBlatter LGrégoire BLaporte V(2025)Preservation of Speculative Constant-Time by CompilationProceedings of the ACM on Programming Languages10.1145/37048809:POPL(1293-1325)Online publication date: 9-Jan-2025
- Bacelar Almeida JFirsov DOliveira TUnruh DStark KTimany ABlazy STabareau N(2025)Leakage-Free Probabilistic Jasmin ProgramsProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705871(3-16)Online publication date: 10-Jan-2025
- Show More Cited By