ROSec: Intra-Process Isolation for ROS Composition With Memory Protection Keys | IEEE Journals & Magazine | IEEE Xplore