gears and Rust icon, illustration - Credit: Jenni Hamilton

Safe Systems Programming in Rust

In this article, we begin by giving the reader a bird’s-eye view of the Rust programming language, with an emphasis on some of the essential features of Rust that set it apart from its contemporaries. Second, we describe the initial progress made in the RustBelt project, an ongoing project funded by the European Research Council (ERC), whose goal is to provide the first formal (and machine-checked) foundations for the safety claims of Rust. In so doing, we hope to inspire other members of the computer science research community to start paying closer attention to Rust and to help contribute to the development of this groundbreaking language.

Read More
male at glowing keyboard - Credit: Andrij Borys Associates, Shutterstock

When Hackers Were Heroes

What was exceptional about MIT was not that it had a computer or that unkempt programmers were devising impressive tricks. It was that MIT had enough computers that a couple of surplus machines could be left out for members of the community to play with.

Read More
charging port on hood of electric vehicle - Credit: Andrii Malkov

Battery Day

Batteries are a part of everyday life; without them, the world would be a much different place. Your cellphone, flashlight, tablet, laptops, drones, cars, and other devices would not be portable and operational without batteries.

Read More
worker portraits on a shield, illustration - Credit: Peter Crowther Associates, Shutterstock

Implementing Insider Defenses

Classical approaches to cyber-security—isolation, monitoring, and the like—are a good starting point for defending against attacks, regardless of perpetrator. But implementations of those approaches in hardware and/or software can invariably be circumvented by insiders, individuals who abuse privileges and access their trusted status affords.

Read More