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.
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 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.
Three researchers from the UAE's Advanced Materials Research Center (AMRC) are pursuing advanced degrees at the University of Manchester through the Advanced Technology Research Council’s NexTech program. Shamma Alhashmi is pursuing a PhD in chemical engineering, while Mohamed Alnuaimi and Omar BaNabila are working towards master's degrees in Advanced Engineering Materials. Their research focuses on nanomaterials, piezoelectrics, and material damage analysis, respectively. Why it matters: This initiative demonstrates the UAE's investment in STEM education and aims to enhance domestic research capabilities in advanced materials by providing international training opportunities for promising Emirati researchers.
KAUST researchers led by Professor Pei-Ying Hong reported new insights into bacterial transformation, potentially impacting wastewater treatment policies. Professor Havard Rue's group released a new statistical package for modeling non-Gaussian datasets, compatible with commercial software. These achievements highlight KAUST's contributions to environmental science and statistical computing. Why it matters: These research outputs strengthen KAUST's reputation as a leading research institution in Saudi Arabia, with practical implications for environmental policy and advanced data analysis.
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.
Professor Arnab Pain's group at KAUST discovered new insights on how a malaria protein enables parasites to spread malaria in human cells. Professor Haavard Rue's group upgraded the Integrated and Nested Laplace Approximation (INLA) for faster real-time modeling of large datasets. A KAUST-led study examined the stability of Y-series nonfullerene acceptors for organic solar cells. Why it matters: KAUST continues producing impactful research across diverse fields from medicine to climate change, advancing scientific knowledge and potential applications.
KAUST researchers developed a tandem solar cell with 32.5% conversion efficiency by optimizing the silicon-perovskite connection. Another team combined spectroscopy and reactor technologies to reveal details on catalyst function and reaction mechanisms. A KAUST team also developed a mathematical framework improving data rates by 30% and optimizing terrestrial network speeds. Why it matters: These advances highlight KAUST's contributions to sustainable energy, industrial processes, and network optimization, addressing key challenges in the region and globally.