Cited By
View all- Cui HYang CCheng X(2023)Secure Speculation via Speculative Secret Flow TrackingJournal of Computer Science and Technology10.1007/s11390-021-1249-438:2(422-438)Online publication date: 30-Mar-2023
- Buiras PNemati HLindner AGuanciale R(2021)Validation of Side-Channel Models via Observation RefinementMICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture10.1145/3466752.3480130(578-591)Online publication date: 18-Oct-2021
- Nemati HBuiras PLindner AGuanciale RJacobs S(2020)Validation of Abstract Side-Channel Models for Computer ArchitecturesComputer Aided Verification10.1007/978-3-030-53288-8_12(225-248)Online publication date: 21-Jul-2020
- Show More Cited By