The following pages link to Rocksalt (Q35126):
Displaying 5 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- Improved Tool Support for Machine-Code Decompilation in HOL4 (Q2945632) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)