🦞🌯 Lobster Roll

Thread

Memory Safe Languages in Android 13 (security.googleblog.com)

Stories related to "Memory Safe Languages in Android 13" across the full archive.

Why safe languages are the best way to achieve memory safety (trevorjim.com)
Memory Safe Languages in Android 13 (security.googleblog.com)
Eliminating Memory Safety Vulnerabilities at the Source (security.googleblog.com)
Eliminating memory safety vulnerabilities at the source (security.googleblog.com)
Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development (media.defense.gov)
Using Cryptography to Store Credentials Safely (android-developers.blogspot.com)
Android Application (Dalvik) Memory Analysis & The Chuli Malware (504ensics.com)
Preventing heartbleed bugs with safe programming languages (bluishcoder.co.nz)
Softbound + CETS: Complete and Compatible Full Memory Safety for C (cs.rutgers.edu)
Clay and Clay - Two, safer languages for systems programming (pastebin.com)
Memory disclosure mitigations in CopperheadOS (copperhead.co)
SLAyer - Memory Safety for Systems-Level Code (2011) (microsoft.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
Fail-Safe C: Memory-Safe Implementation of Full, ANSI C (2009) (staff.aist.go.jp)
Rust SGX SDK: Towards Memory Safety in Intel SGX (2017) (qconsf.com)
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...
MesaLink: a memory-safe and OpenSSL-compatible TLS library, implemented in Rust (github.com)
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)
MesaLink: A memory-safe and OpenSSL-compatible TLS library (mesalink.io)
Memory Unsafety in Apple's Operating Systems (langui.sh)
Introduction to Memory Unsafety for VPs of Engineering (alexgaynor.net)
A Memory Safety Research Agenda (alexgaynor.net)
memory safety: necessary, not sufficient (ultrasaurus.com)
Detecting Memory Corruption Bugs With HWASan (android-developers.googleblog.com)
Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs (arxiv.org)
SafeGPU: Contract- and Library-based GPGPU for Object-Oriented Languages (2016) (se.inf.ethz.ch)
Abstract: "Using GPUs as general-purpose processors has revolutionized parallel computing by providing, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to their widespread adoption, however, is the difficulty of programming them and the low...
Bypassing memory safety mechanisms through speculative control flow hijacks (arxiv.org)
CHEx86: Context-Sensitive Enforcement of Memory Safety via Microcode-Enabled Capabilities (cs.virginia.edu)