The KAUST Visiting Student Research Program (VSRP) has hosted over 210 interns since 2014, offering research experience with faculty and facilities. Interns, typically in their baccalaureate or post-baccalaureate studies, stay between three and six months. Several interns, like Mariana Prazeres who researched the Hamilton Jacobi equation, have pursued further studies at KAUST. Why it matters: The VSRP program at KAUST serves as a pipeline for attracting international talent to Saudi Arabia and fostering interest in STEM fields.
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.
Suresh Sugumar from TII's Secure Systems Research Center (SSRC) has completed a year as Chair of the RISC-V Trusted Computing Group (TCG) Special Interest Group (SIG). The RISC-V TCG SIG is focused on defining trusted computing strategies for RISC-V, including confidential computing and trusted execution environments. SSRC's contribution to the SIG team supports zero-trust security and aims to boost the UAE's economic development. Why it matters: This leadership role for a UAE-based researcher highlights the country's growing influence in shaping open-source hardware security standards and contributing to global technological advancements.
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.
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.
Jose Martinez, a Principal Researcher at the DSRC, was named one of Google's Top 20 Chrome Vulnerability Researchers for 2021, ranking 14th. He was recognized for detecting and demonstrating the exploitation of a serious vulnerability in the Chrome browser. This helped Google improve Chrome's security and contributed to safer development practices. Why it matters: The recognition highlights the growing cybersecurity expertise within the UAE and TII's ability to attract global talent in advanced security research.
The Propulsion and Space Research Center (PSRC) has appointed three new advisors: Prof. Dr. Roberto Sabatini, Dr. Mohamed Al Ahbabi, and Prof. Dr. Pericles Pilidis. These experts bring experience in aerospace, defense, space exploration, and gas turbine performance. The appointments aim to strengthen PSRC's research capabilities and contribute to the UAE's space exploration goals. Why it matters: The addition of experienced advisors signals the UAE's continued investment in building local expertise in advanced aerospace technologies and space exploration.