Modeling and Analysis of Secure Processor Extensions Based on Actor Networks

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.