Cited By
View all- Derasari PVenkataramani G(2024)Maya: Hardware Enhanced Customizable Defenses at the User-Kernel Interface2024 International Symposium on Secure and Private Execution Environment Design (SEED)10.1109/SEED61283.2024.00016(50-61)Online publication date: 16-May-2024
- Mazzucato DCampion MUrban C(2024)Quantitative Input Usage Static AnalysisNASA Formal Methods10.1007/978-3-031-60698-4_5(79-98)Online publication date: 4-Jun-2024
- Tan QFisseha YChen SBiernacki LJeannin JMalik SAustin TMeng WJensen CCremers CKirda E(2023)Security Verification of Low-Trust ArchitecturesProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3616643(945-959)Online publication date: 15-Nov-2023
- Show More Cited By