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.
TII's Secure Systems Research Center (SSRC) in Abu Dhabi has appointed international experts to its Board of Advisors. The advisors have expertise in areas like autonomous computing, cyber-physical systems, and cryptology. The board includes experts from Khalifa University, NYU Abu Dhabi, Dubai Electronic Security Center, and Purdue University. Why it matters: The move strengthens the UAE's cybersecurity research capabilities and aligns with its focus on developing secure autonomous systems.
TII's Secure Systems Research Center (SSRC) is partnering with Imperial College London on a three-year research project focused on trustworthy cloud computing with hardware security. The project aims to design a new trustworthy cloud OS stack leveraging hardware mechanisms like ARM TrustZone. It will explore userspace isolation abstraction while maintaining compatibility with POSIX standards using ARM and RISC-V architectures. Why it matters: This collaboration addresses critical cloud security challenges by integrating hardware-based security solutions, potentially unifying cloud and edge security approaches in the region.
TII's Secure Systems Research Center (SSRC) has partnered with Purdue University on a three-year cybersecurity project focused on ensuring the safe and efficient use of Unmanned Aerial Vehicles (UAVs) in urban environments. The collaboration will study security and resilience in cyber-physical and autonomous systems, addressing vulnerabilities in communication, navigation, and command and control. The project includes four phases: modeling and analysis of UAS security, developing algorithms for high-assurance autonomy, constructing an experimental environment, and testing mitigation strategies. Why it matters: The partnership enhances the UAE's capabilities in securing critical digital systems and fosters the growth of commercial autonomous drones and robots, opening new opportunities for enterprises.