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.
Conor McMenamin from Universitat Pompeu Fabra presented a seminar on State Machine Replication (SMR) without honest participants. The talk covered the limitations of current SMR protocols and introduced the ByRa model, a framework for player characterization free of honest participants. He then described FAIRSICAL, a sandbox SMR protocol, and discussed how the ideas could be extended to real-world protocols, with a focus on blockchains and cryptocurrencies. Why it matters: This research on SMR protocols and their incentive compatibility could lead to more robust and secure blockchain technologies in the region.
KAUST's Saudi Summer Internship (SSI) program hosted 29 undergraduate students from Saudi universities this year, up from just 6 students five years ago. The students were assigned to CEMSE labs for 8-12 weeks, conducting research alongside KAUST faculty. At the end of the program, the students participated in a poster competition to present their work. Why it matters: This program fosters local talent in STEM fields and strengthens KAUST's ties with other Saudi universities.
KAUST alumnus Jagdish Chandra Vyas (Ph.D. '17) received a Student Presentation Award at the Seismological Society of America (SSA) Annual Meeting for his poster "Mach Wave Coherence in the Presence of Source and Medium Heterogeneity." Vyas's Ph.D. research at KAUST, under the direction of Professor Martin Mai, focused on analyzing the effects of rupture complexity and heterogeneities in Earth structure on near-source ground motions. He is currently a postdoctoral scholar at the University of Canterbury, New Zealand. Why it matters: This award recognizes the high-caliber research being conducted at KAUST and its impact on the field of seismology.
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.
John Pagano, CEO of The Red Sea Development Company and AMAALA, spoke at WEP 2022 about regenerative tourism. He highlighted that AMAALA and The Red Sea Project are the world's most ambitious regenerative projects today, using innovative sustainable methods. In partnership with KAUST, they undertook marine spatial planning simulations to protect the marine environment, conserve 75% of the islands, and designate nine conservation zones. Why it matters: This initiative signals a commitment to sustainable tourism development in Saudi Arabia, leveraging research and technology to minimize environmental impact while creating new industries.
MBZUAI researchers developed GroupMamba, a new set of state-space models (SSMs) for computer vision that addresses limitations in existing SSMs related to computational efficiency and optimization challenges. GroupMamba introduces a new layer called modulated group mamba, improving efficiency and stability. In benchmark tests, GroupMamba performed as well as similar SSM systems, but more efficiently, offering a backbone for tasks like image classification, object detection, and segmentation. Why it matters: This research aims to bridge the gap between vision transformers and CNNs by improving SSMs, potentially leading to more efficient and powerful computer vision models.
The Saudi Space Agency (SSA) and KAUST held a workshop on September 19, 2023, to evaluate the Kingdom's space program and plan future initiatives. The SSA aims to propel Saudi Arabia's space program into the top 10 globally, focusing on six research areas. The partnership seeks to leverage KAUST's expertise to achieve Saudi Arabia's RDI vision in space exploration and set a roadmap to be available by January 2024. Why it matters: This collaboration signifies Saudi Arabia's commitment to advancing its space program and fostering local expertise in space-related research and development, aligning with the Kingdom's broader technology and innovation goals.