Rocksalt
From MaRDI portal
Software:35126
swMATH23353MaRDI QIDQ35126FDOQ35126
Author name not available (Why is that?)
Cited In (5)
- Bidirectional grammars for machine-code decoding and encoding
- Verified abstract interpretation techniques for disassembling low-level self-modifying code
- System-level non-interference of constant-time cryptography. I: Model
- Improved Tool Support for Machine-Code Decompilation in HOL4
- Modular verification of programs with effects and effects handlers
This page was built for software: Rocksalt
