ARMor

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