Thread
Stories related to "F9: Secure Microkernel for Deeply-Embedded Devices (2017)" across the full archive.
Internet Census 2012: Port scanning all IPv4 adresses using insecure embedded devices
(internetcensus2012.bitbucket.org)
> [..] In this talk, we present several methods that make *the large scale
security analyses of embedded devices* a feasible task. We implemented
those techniques in a scalable framework that we tested on real world data.
First, we collected a large number of firmware images from Internet
reposi...
Abstract: "Applications for TinyOS, a popular operating system for embedded systems and wireless sensor networks, are written in nesC, a C dialect prone to the same type and memory safety vulnerabilities as C. While availability and integrity are critical requirements, the distributed and concurrent...
I can't find a source code repo, but I managed to track down a [slidedeck](https://www.slideserve.com/stamos/gradual-typing-embedded-securely-in-javascript) and a (broken) [tutorial](https://rise4fun.com/FStar/tutorial/tsStar) with some code samples.
Abstract: "Embedded systems are deployed ubiquitously
among various sectors including automotive, medical, robotics
and avionics. As these devices become increasingly connected,
the attack surface also increases tremendously; new mechanisms
must be deployed to defend against more sophisticated a...
This is not the same as https://github.com/readevalprint/sneklang .