Cited By
View all- Wu RZhou SLu JShen ZXu ZShu JYang KLin FZhang YBagchi SZhang Y(2024)Removing obstacles before breaking through the memory wallProceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference10.5555/3691992.3692044(851-867)Online publication date: 10-Jul-2024
- Fiedler BLiu ZCock DRoscoe T(2024)Verified Fault Handling for Modern Board Management ControllersFormal Aspects of Component Software10.1007/978-3-031-71261-6_2(21-38)Online publication date: 9-Sep-2024
- Gandhi VBanerjee SAgrawal AAhmad ALee SPeinado MCalandrino JTroncoso C(2023)Rethinking system audit architectures for high event coverage and synchronous log availabilityProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620260(391-408)Online publication date: 9-Aug-2023
- Show More Cited By