JingleOS: An Operating System to Embedded Devices with Language-Based Protection | IEEE Conference Publication | IEEE Xplore