IEEE Spectrum Robotics Uncategorized Enhancing System Security with seL4 March 8, 2023Community effort can create a standard virtual machine monitor to tune seL4 for various use cases to simplify the development of secure hardware. Related posts: Prosegur Security launches new quadruped patrol option Video Friday: Robot Soccer Finals Necrobotics: Dead Spiders Reincarnated as Robot Grippers Faster, Meaner, Deadlier: The Evolution of BattleBots Golf Robot Learns To Putt Like A Pro