Prof. Chun Jason Xue from the City University of Hong Kong presented research on optimizing mobile memory and storage by analyzing mobile application characteristics, noting their differences from server applications. The research explores system software designs inherited from the Linux kernel and identifies optimization opportunities in mobile memory and storage management. Xue's work aims to enhance user experience on mobile devices through mobile application characterization, focusing on non-volatile and flash memories. Why it matters: Optimizing mobile systems based on the unique characteristics of mobile applications can significantly improve device performance and user experience in the region.
Professor Won from KAIST presented a talk at MBZUAI on ensuring storage order in modern IO stacks. He discussed separating durability and ordering mechanisms to avoid expensive transfer-and-flush methods. The talk covered order-preserving IO stacks for single-queue block devices, multi-queue IO stacks, and all-flash arrays. Why it matters: Optimizing IO stacks is crucial for improving the performance and efficiency of storage systems in AI infrastructure and data centers.
KAUST researchers demonstrated a new flash memory device design using gallium oxide, which can withstand harsh environments. In collaboration with the University of Michigan, KAUST researchers explained a key molecular event for the activation of an enzyme associated with cancer. The Summer 2023 issue of KAUST Discovery is now available. Why it matters: These research achievements highlight KAUST's contributions to advanced materials science and biomedical research, with potential applications in space technology and cancer treatment.
A KAUST team led by Hossein Fariborzi won second place in the MEMS Design Contest for their "MEMS Resonator for Oscillator, Tunable Filter and Re-Programmable Logic Applications." The device is runtime-reprogrammable, allowing the function of each device in the circuit to be changed during operation. The KAUST team demonstrated that two MEMS resonators could replace over 20 transistors in applications like digital adders, reducing digital circuit complexity. Why it matters: This innovation could significantly reduce power consumption, chip area, and manufacturing costs in microprocessors, advancing the development of energy-efficient microcomputers in the region.
Cristofaro Mune and Niek Timmers presented a seminar on bypassing unbreakable crypto using fault injection on Espressif ESP32 chips. The presentation detailed how the hardware-based Encrypted Secure Boot implementation of the ESP32 SoC was bypassed using a single EM glitch, without knowing the decryption key. This attack exploited multiple hardware vulnerabilities, enabling arbitrary code execution and extraction of plain-text data from external flash. Why it matters: The research highlights critical security vulnerabilities in embedded systems and the potential for fault injection attacks to bypass secure boot mechanisms, necessitating stronger hardware-level security measures.
KAUST researchers have published a review paper in Science magazine covering memristor technology, comparing it to the original transistor. Dr. Mario Lanza is the lead author of the paper, which summarizes data supporting memristor technology readiness across materials and applications. The paper statistically shows the technical criteria for how memristors function in various configurations. Why it matters: Memristors could become the new switching technology standard, surpassing transistors in speed and operational efficiency, especially as current chip technology reaches its quantum limit in terms of size.
KAUST researchers led by Dr. Muhammad Hussain have developed a flexible, transparent silicon-on-polymer based FinFET inspired by the folded architecture of the human brain's cortex. The team created a 3D FinFET on a flexible platform without compromising integration density or performance. They aim to demonstrate a fully flexible silicon-based computer by the end of the year. Why it matters: This research could lead to the development of ultra-mobile, foldable computers and integrated circuits, advancing the field of flexible electronics in the region.
Researchers at ETH Zurich have formalized models of the EMV payment protocol using the Tamarin model checker. They discovered flaws allowing attackers to bypass PIN requirements for high-value purchases on EMV cards like Mastercard and Visa. The team also collaborated with an EMV consortium member to verify the improved EMV Kernel C-8 protocol. Why it matters: This research highlights the importance of formal methods in identifying critical vulnerabilities in widely used payment systems, potentially impacting financial security for consumers in the GCC region and worldwide.