Detecting Inconsistencies in Arm CCA's Formally Verified Specification.

Changho Choi, Xiang Cheng, Bokdeuk Jeong, Taesoo Kim

Browse the full ASPLOS paper archive.