Mark Nelson

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Statistical Modeling

Model Validation

Wireless Sensor Networks

Top Venues

Publications

Mark Nelson, Peter-Michael Seidel
Modeling and Analysis of Secure Processor Extensions Based on Actor Networks. MTV (2017)
Mark Nelson, Peter-Michael Seidel
Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. MTV (2015)