Trusted embedded System Operating System (TeSOS) - Study and Design
Ahmad-Reza Sadeghi, Steffen Schulz, Alexandra Dmitrienko, Christian Stüble, Dennis Gessner, Markus Ullmann
Study and evaluation of security in sensor systems, System Security Lab, Sirrix AG, Federal Office for Information Security
[project page] [pdf]