swMATH23353MaRDI QIDQ35126FDOQ35126
Author name not available (Why is that?)
Official website: http://www.cse.psu.edu/~gxt29/paper/rocksalt.pdf
Cited In (20)
- COMPCERTSFI
- Bidirectional grammars for machine-code decoding and encoding
- Verified abstract interpretation techniques for disassembling low-level self-modifying code
- Improved tool support for machine-code decompilation in HOL4
- System-level non-interference of constant-time cryptography. I: Model
- MiBench
- Coquet
- VeriStar
- biXid
- BAP
- GDSL
- ARMor
- CompCertS
- BakerSFIeld
- Diablo
- Kami
- XSugar
- operational
- TSL
- Modular verification of programs with effects and effects handlers
This page was built for software: Rocksalt
