Just because you don’t have a hostname for your IoT device – in other words, you have to type in the numerical IP address of the device to access it – it doesn’t mean it is safely hidden from the bad guys on the web.
In the past, nurses and doctors would all need to be in the room with the patient in order to see ECG data. This cardio monitor can keep doctors and nurses alert and informed in real time to the medical needs of their patients.
Here’s an application built using the CAmkES Architecture on top of seL4, a formally verified microkernel developed by Data61. DornerWorks used seL4 to componentize and isolate each portion of the Web-Server, providing extreme security.