Cited By
View all- Pesin BBoulmé SMonniaux DPotet MStark KTimany ABlazy STabareau N(2025)Formally Verified Hardening of C Programs against Hardware Fault InjectionProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705880(140-155)Online publication date: 10-Jan-2025
- Maar LDraschbacher FLamster LMangard SBalzarotti DXu W(2024)Defects-in-depthProceedings of the 33rd USENIX Conference on Security Symposium10.5555/3698900.3699153(4517-4534)Online publication date: 14-Aug-2024
- Han SKim SShin WKim BRyou JBalzarotti DXu W(2024)Page-oriented programmingProceedings of the 33rd USENIX Conference on Security Symposium10.5555/3698900.3698912(199-216)Online publication date: 14-Aug-2024
- Show More Cited By