Cited By
View all- Athalye ACorrigan-Gibbs HKaashoek FTassarotti JZeldovich NWitchel EArpaci-Dusseau ARossbach CKeeton K(2024)Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level ImplementationProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles10.1145/3694715.3695956(655-672)Online publication date: 4-Nov-2024
- Morazán MKempinski OHermans FBohrer R(2024)Using Computation Graphs to Explain Nondeterminism to StudentsProceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E10.1145/3689493.3689978(23-33)Online publication date: 17-Oct-2024
- Lu DTang BPaper MKogias M(2024)Towards Functional Verification of eBPF ProgramsProceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions10.1145/3672197.3673435(37-43)Online publication date: 4-Aug-2024
- Show More Cited By