swMATH18275MaRDI QIDQ30118FDOQ30118
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2038687
Cited In (14)
- Formal verification of integrity-preserving countermeasures against cache storage side-channels
- COMPCERTSFI
- TrABin
- HolBA
- Machine assisted proof of ARMv7 instruction level isolation properties
- Hoare-style logic for unstructured programs
- MiBench
- AUSPICE-R
- CompCertS
- Rocksalt
- Diablo
- Cloc
- CacheAudit
- AUSPICE-R: automatic safety-property proofs for realistic features in machine code
This page was built for software: ARMor
