Articles on memory-safety

Discover our latest posts on #memory-safety and explore related insights and stories.

Blue screen with error text, geometric shapes around.

Thu, 01 Aug 2024

#cybersecurity #functional-programming #memory-safety

Monoculture of Insecurity: How CrowdStrike's Outage Exposes the Risks of Unchecked Complexity in Cybersecurity

A seismic event in the IT world, everyone is talking about the CrowdStrike update that caused global chaos earlier this month. There are many great articles and blog posts dissecting the event and suggesting ways to avoid a repeat. Rather than join our voice to the chorus and explain how a small cha…

Miklos Tomka

Head Consulting Services

Isabella Leandersson

Communications Officer

Crumpled paper and paper airplane on blue background.

Thu, 07 Mar 2024

#cybersecurity #memory-safety #ocaml

A Time for Change: Our Response to the White House Cybersecurity Press Release

As seasoned proponents of safety-by-design, we were pleased to see the February 26th White House press release titled "Future Software Should Be Memory Safe." The accompanying report touches on important topics, most significantly regarding the critical importance of memory safety. The U.S. governme…

Thomas Gazagnaire

CEO

Metallic chip with legs and geometric brain shape.

Thu, 14 Dec 2023

#cybersecurity #functional-programming #memory-safety

OCaml: Memory Safety and Beyond

Your choice of programming language matters. A recent press release from the US National Security Agency (NSA), in tandem with the US Cybersecurity and Infrastructure Security Agency (CISA) alongside international cybersecurity agencies, urges the adoption of memory-safe programming languages for en…

Thomas Gazagnaire

CEO

Glasses on keyboard, computer screen with code.

Thu, 17 Aug 2023

#cybersecurity #memory-safety #ocaml

Your Programming Language and its Impact on the Cybersecurity of Your Application

Did you know that the programming language you use can have a huge impact on the cybersecurity of your applications? In a 2022 meeting of the Cybersecurity Advisory Committee, the Cybersecurity and Infrastructure Security Agency’s Senior Technical Advisor Bob Lord commented that: “About two-thir…

Shakthi Kannan

Senior Software Engineer

Person in blue suit using a laptop, blue background.

Wed, 05 Jul 2023

#cybersecurity #memory-safety #mirageos #ocaml

Zero-Day Attacks: What Are They, and Can a Language Like OCaml Protect You?

Zero-day attacks have been getting increased media attention lately, but what are they? And how can we protect ourselves? Google’s Project Zero tracks zero-day vulnerabilities at major software vendors. In 2021, their tracker noted the detection and disclosure of 58 in-the-wild zero-day exploits, …

Isabella Leandersson

Communications Officer

Roller coaster, upside-down, "TURBO" sign, blue sky.

Tue, 27 Dec 2022

#eio #functional-programming #memory-safety #ocaml

Love Rust? Then OCaml's New Eio Library is for You

We’ve come to expect a lot from the programming languages we use. We want the memory safety of Java, the performance of C/C++, and the concurrency of Go. On top of this, we need robust cybersecurity tools to protect us from the many risks and vulnerabilities in the world, all in an intuitive and e…

Isabella Leandersson

Communications Officer

Silhouettes: camels, people; orange sky; sun setting.

Tue, 22 Nov 2022

#business #functional-programming #memory-safety #ocaml

Six Surprising Reasons the OCaml Programming Language is Good for Business

Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers. Examples of functional programming languages include OCaml, Erlang, Clojure, Haskell, Scala, and Common Lisp. Choosing the right programming language is criti…

Isabella Leandersson

Communications Officer

Various mailboxes on wall, text: "Secure-by-design..."

Fri, 30 Apr 2021

#cybersecurity #memory-safety #mirageos

Tarides project SCoP is selected as one of the brightest Data Portability projects in Europe!

Tarides is taking part in the Data Portability & Services Incubator (DAPSI), a 3-year EU funded project that empowers internet innovators to develop new solutions in the Data Portability field. What is DAPSI? The Data Portability and Services Incubator (DAPSI) is an EU funded project, under the Euro…

Céline Laplassotte

COO