ARMor

swMATH18275MaRDI QIDQ30118FDOQ30118

Author name not available (Why is that?)

Cited In (4)

• Formal verification of integrity-preserving countermeasures against cache storage side-channels
• AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
• Hoare-style logic for unstructured programs
• Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

This page was built for software: ARMor