3 ms·

I'm happy to believe that almost all IoT vulnerabilities are application level problems. The beginning availability of verified kernels and compilers makes it

by mafribe 10y ago

I'm happy to believe that almost all IoT vulnerabilities are application level problems. The beginning availability of verified kernels and compilers makes it much more worthwhile to invest in formal approaches for application level vulnerabilities.

nickpsecurity 10y ago
See my comment. It has top approaches to that which already delivered implementations.