We are thrilled to re-post this microkerneldude blog post –Random rants and pontifications by Gernot Heiser Many of us operating systems researchers, going back at least to the US DoD’s famous 1983 Orange Book, have been saying that a secure/safe system needs to keep its trusted computing base (TCB) as small as possible. For system of significant complexity, […]
I recently had the honor of being a panelist at SINET Melbourne. SINET is dedicated to building a cohesive, worldwide Cybersecurity community with the goal of accelerating innovation through collaboration. The organization’s global series of events act as a catalyst that connects senior level private and government security professionals with solution providers, buyers, researchers and […]
For the past 30+ years, it has been a pleasure to contribute to the wireless ecosystem through the ongoing evolution in this space. From AMPs, to CDMA, to GSM, to 3G/4G and now 5G it has been a period of exponential change, though none of it included discussions about security. You would have thought that […]
Free flight to Sydney for best innovative IoT use of D4 Secure on a Raspberry Pi. Open to everyone, you don’t need to be a hacker to use D4. Any Linux system builder should be able to create something cool with great security built in. Interested? Read below for details…
Cog’s D4 Secure products mitigate and protect connected devices from many different forms of attacks. Let’s take a look at how D4 is impacted by Meltdown and Spectre, and how device makers can use D4 to create more secure and feature rich IoT devices.