truck assembly line - Credit: Humphery / Shutterstock

Quantum-Safe Trust for Vehicles: The Race Is Already On

Now that it seems quantum-computing capabilities could become commercially available within the next decade or two—likely in the form of cloud-based services—security professionals have turned with an intensified sense of urgency to the challenge of how to respond to the threat of quantum-powered attacks. One domain where this is particularly true is in the automotive industry, where cars now coming off assembly lines are sometimes referred to as “rolling datacenters” in acknowledgment of all the entertainment and communications capabilities they contain.

Quantum-Safe Trust for Vehicles: The Race Is Already On Read More
two robot-like faces, illustration - Credit: vs148 / Shutterstock

AI Ethics: A Call to Faculty

To say that AI, today, is a technical discipline is entirely naive: it is a social, worldwide experiment. Our tools have teeth that cut into the everyday lives of all, and this leaves a collection of engineers and scientists in the awkward position of having far more impact on the future than is their due.
…But AI ethics is not the science of ethics, but rather shorthand for the notion of applying ethical considerations to issues surfaced by AI technologies: surveillance, information ownership, privacy, emotional manipulation, agency, autonomous military operations, and so forth.

AI Ethics: A Call to Faculty Read More
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.

Safe Systems Programming in Rust Read More
key and map of Saudi Arabia, illustration - Credit: Andrij Borys Associates

Biomedical Computing in the Arab World: Unlocking the Potential of a Growing Research Community

This article sheds light on notable research efforts in the Arab world in each of the aforementioned areas of biomedical computing [biomedical imaging, biomedical signal analysis and bioinformatics]. It also demonstrates how this research addresses healthcare issues in the region.

Biomedical Computing in the Arab World: Unlocking the Potential of a Growing Research Community Read More