Cited in
(14)- Formal verification of integrity-preserving countermeasures against cache storage side-channels
- Machine assisted proof of ARMv7 instruction level isolation properties
- Hoare-style logic for unstructured programs
- MiBench
- AUSPICE-R
- CompCertS
- Rocksalt
- Diablo
- Cloc
- CacheAudit
- COMPCERTSFI
- TrABin
- AUSPICE-R: automatic safety-property proofs for realistic features in machine code
- HolBA
This page was built for software: ARMor
