Verifying components of Arm(R) Confidential Computing Architecture with ESBMC

Tong Wu, Shale Xiong, Edoardo Manino +2

Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to ve…