Mark Nelson, Peter-Michael Seidel. Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. In 18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017. pages 68-73, IEEE Computer Society, 2017. [doi]
Abstract is missing.