GeistHaus
log in · sign up

Memory safety

chromium.org
24 pages link to this URL
About Safety, Security and yes, C++ and Rust

Recent publications by Consumer Reports and the NSA have launched countless conversations in development circles about safety and its benefits. In these conversations, I’ve seen many misunderstandings about what safety means in programming and how programming languages can implement, help or hinder safety. Let’s clarify a few things.

0 inbound links article en post TypesType SystemsStatic AnalysisSafetySecurityProgramming
How using hyper in curl can help make the internet safer | Amazon Web Services

In February, Josh Aas from Internet Security Research Group, Daniel Stenberg from curl, and I (from hyper and Amazon Web Services) hosted a joint webinar to discuss memory safety and the internet, and how using hyper in curl can help make the internet safer. Because curl is open source and permissively licensed, it is found […]

2 inbound links article en Open Source Open SourceThought LeadershipRust
Rust Safety and Security

Lately I see people complaining about "the Rust community" to confuse memory safety with general safety and se…

0 inbound links article en default rustlanguageprogrammingsafetymemorymemory safetysecuritybugsvulnerabilitiesR.E.S.F.
Two Paths to Memory Safety: CHERI and OMA in the Fight Against Cyber Threats

Two architectural approaches have emerged to tackle the trillion-dollar memory safety problem at the hardware level: CHERI (Capability Hardware Enhanced RISC Instructions) and OMA (Object Memory Architecture). Both aim to make memory-unsafe code safe by design, but they take fundamentally different paths to get there. This article looks at the design differences and their impact on commercial applications.

0 inbound links article en
Thomas Gazagnaire :: O(x)Caml in Space

On 23 April, Borealis booted in orbit on DPhi Space's ClusterGate-2: a pure-OCaml CCSDS protocol stack with end-to-end-encrypted command and control and post-quantum key rotation. OxCaml is what comes next.

0 inbound links article en
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. The CHERI project has proposed extending conventional architectures with hardware-supported capabilities to enable fine-grained memory protection and scalable...

2 inbound links Paper en CC BY 4.0
Memory safety in Rust - part 1

In this first part about memory safety in Rust we will understand the concept of memory safety and discuss various approaches used by programming languages to achieve it.

0 inbound links article en