Cited By
View all- Cai LSong FChen T(2024)Towards Efficient Verification of Constant-Time Cryptographic ImplementationsProceedings of the ACM on Software Engineering10.1145/36437721:FSE(1019-1042)Online publication date: 12-Jul-2024
- Gao PSong FChen T(2024)Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel AttacksACM Transactions on Software Engineering and Methodology10.1145/363570733:3(1-38)Online publication date: 14-Mar-2024
- Flanders MSharma RMichael AGrossman DKohlbrenner DTsafrir DMusuvathi MGupta RAbu-Ghazaleh N(2024)Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code TransformationsProceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3620665.3640400(120-136)Online publication date: 27-Apr-2024
- Show More Cited By