Modeling and Analysis of Secure Processor Extensions Based on Actor Networks | IEEE Conference Publication | IEEE Xplore