Modeling and Analysis of Secure Processor Extensions Based on Actor Networks
Mark Nelson, Peter-Michael Seidel · 2017
We are discussing a framework for formally modeling and analyzing the use of Intel SGX secure processor extensions. The presented framework is based on actor networks. Our models consider the cyber-physical features of the system that are essential for secure operation. We model three procedures that involve secure memory enclaves and analyze some of their security claims.