The Secure Systems Research Center (SSRC) has partnered with the University of New South Wales (UNSW Sydney) to research enhancements and scaling of the seL4 microkernel on edge devices. The collaboration aims to extend the seL4 microkernel to support dynamic virtualization, combining minimal trusted computing base with strong isolation. This will address challenges related to heterogeneous hardware, software, and environmental factors in edge computing. Why it matters: This partnership aims to improve the security of edge devices in critical sectors, addressing vulnerabilities in cyber-physical and autonomous systems.
The Secure Systems Research Center (SSRC) has obtained membership in the seL4 Foundation. This membership allows SSRC to participate in and contribute to the open-source development of seL4, a formally verified microkernel OS. SSRC aims to research, contribute to, and advance next-generation high-end edge device environments using seL4's capabilities. Why it matters: This move enhances the UAE's capabilities in developing secure and resilient edge computing solutions, fostering innovation in critical sectors like secure communications and drone technology.
The Communications and Computing Systems Lab (CCSL) at KAUST received two awards in the International Telecommunication Union AI for Good Machine Learning Challenge and tinyML Hackathon Challenge 2023: Pedestrian Detection. The KAUST team's solution achieved high accuracy in pedestrian identification using event-based cameras, while consuming less power and achieving lower latency. They also received an award for innovative use of "Edge Impulse" for building datasets and training models. Why it matters: This recognition highlights KAUST's growing influence in AI research, particularly in edge computing and computer vision applications for public safety.
This article discusses the reliability of Deep Neural Networks (DNNs) and their hardware platforms, especially regarding soft errors caused by cosmic rays. It highlights that while DNNs are robust against bit flips, errors can still lead to miscalculations in AI accelerators. The talk, led by Prof. Masanori Hashimoto from Kyoto University, will cover identifying vulnerabilities in neural networks and reliability exploration of AI accelerators for edge computing. Why it matters: As DNNs are deployed in safety-critical applications in the region, ensuring the reliability of AI hardware is crucial for safe and trustworthy operation.
MBZUAI launched the AI Quorum, a winter series from October 2022 to March 2023, to stimulate AI research. The first session, led by Professor Michael Jordan, focused on collaborative learning with around 20 research experts. Discussions covered the use of edge devices like cell phones and hospitals providing data to build large models, as well as risks like free-riding and adversarial attacks. Why it matters: The AI Quorum initiative positions MBZUAI as a hub for global AI collaboration, addressing key challenges and opportunities in collaborative learning for real-world applications.
Professor Hava Siegelmann, a computer science expert, is researching lifelong learning AI, drawing inspiration from the brain's abstraction and generalization capabilities. The research aims to enable intelligent systems in satellites, robots, and medical devices to adapt and improve their expertise in real-time, even with limited communication and power. The goal is to develop AI systems applicable for far edge computing that can learn in runtime and handle unanticipated situations. Why it matters: This research could lead to more resilient and adaptable AI systems for critical applications in remote and resource-constrained environments, with potential benefits for various sectors in the Middle East.