🦞🌯 Lobster Roll

Thread

Memory Safety for Embedded Devices with nesCheck (2017) (nebelwelt.net)
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...

Stories related to "Memory Safety for Embedded Devices with nesCheck (2017)" across the full archive.

Memory Safety for Embedded Devices with nesCheck (2017) (nebelwelt.net)
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...
CHERIoT: Complete Memory Safety for Embedded Devices (cheriot.org)
CHERIoT: Complete Memory Safety for Embedded Devices (dl.acm.org)
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices (security.apple.com)
Internet Census 2012: Port scanning all IPv4 adresses using insecure embedded devices (internetcensus2012.bitbucket.org)
What is memory safety? (pl-enthusiast.net)
Memory safety without garbage collector (theburningmonk.com)
Practical memory safety for C (cl.cam.ac.uk)
LittleD: A relational database for embedded devices and sensors nodes (github.com)
Compile-time memory safety using Liquid Haskell (haskellforall.com)
(In)Security of Embedded Devices' Firmware - Fast and Furious at Large Scale (media.ccc.de)
> [..] 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...
Heap on Embedded Devices: Analysis and Improvement (blog.cesanta.com)
“Don’t cross the streams”: Thread safety and memory accesses at the speed of light (developers.redhat.com)
Beyond Memory Safety With Types (insanitybit.github.io)
Softbound + CETS: Complete and Compatible Full Memory Safety for C (cs.rutgers.edu)
SLAyer - Memory Safety for Systems-Level Code (2011) (microsoft.com)
It's time for a memory safety intervention (tonyarcieri.com)
Why safe languages are the best way to achieve memory safety (trevorjim.com)
Memory Safety and D - Walter Bright at DConf2017 (youtube.com)
exiv2: multiple memory safety issues (openwall.com)
If the mentioned bug report (http://dev.exiv2.org/issues/1248) does not work for you, try this text only dump: https://pastebin.com/JQmKEiqJ
Scalable remote management of embedded Linux devices via WebSockets (airtame.engineering)
F9: Secure Microkernel for Deeply-Embedded Devices (2017) (archive.fosdem.org)
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic (2017) (microsoft.com)
Memory Safety in Rust: A Case Study with C (willcrichton.net)
Rust SGX SDK: Towards Memory Safety in Intel SGX (2017) (qconsf.com)
Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016) (core.ac.uk)
CheriRTOS: A Capability Model for Embedded Devices (cl.cam.ac.uk)
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...
Memory Tagging and how it improves C/C++ memory safety (ai.google)
Memory Tagging and how it improves C/C++ memory safety (youtube.com)
Microsoft: 70 percent of all security bugs are memory safety issues (zdnet.com)