David Weston (DWIZZZLE)

@dwizzzlemsft · Twitter ·

Interesting paper - A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations https://dl.acm.org/doi/abs/10.1145/3586040