KAUST hosted a two-day symposium highlighting the Global Collaborative Research (GCR) program, which was launched in 2007 and involved over 30 institutions. The event showcased key scientific and innovative accomplishments resulting from these global partnerships. A poster competition featured 162 posters from KAUST students, post-doctoral researchers, and research scientists. Why it matters: The GCR program and symposium underscore KAUST's commitment to international collaboration and research excellence, fostering innovation within the Kingdom.
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 National Institute of Standards and Technology (NIST) has been evaluating Post-Quantum Cryptography proposals since 2017. Lattice-based schemes have emerged as efficient candidates for Key Encapsulation Mechanisms (KEM) and Digital Signatures. This talk will cover the core operations within lattice-based schemes and efficient implementation strategies. Why it matters: As quantum computing advances, exploring and standardizing post-quantum cryptography is crucial for maintaining secure communication and data protection in the future.
This paper introduces ProgramFC, a fact-checking model that decomposes complex claims into simpler sub-tasks using a library of functions. The model uses LLMs to generate reasoning programs and executes them by delegating sub-tasks, enhancing explainability and data efficiency. Experiments on fact-checking datasets demonstrate ProgramFC's superior performance compared to baseline methods, with publicly available code and data.
Prof. Daniel Panario gave a seminar on irreducible polynomials over finite fields and their applications in cryptography. The seminar covered how finite fields are used as basic components in many cryptographic applications. It surveyed families of irreducible polynomials and commented on their properties. Why it matters: The talk highlights the mathematical foundations and ongoing research relevant to cryptographic implementations in the region.
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.
Juveiriah Ashraf from the Advanced Materials Research Center (AMRC) graduated from Masdar's Women in Sustainability, Environment, and Renewable Energy (WiSER) program. The program focuses on positioning women as drivers of change across the sustainability debate, covering topics like green hydrogen and food security. Ashraf emphasized the need for a holistic approach involving government, corporate leaders, and financial boards to accelerate sustainability impact through incentives and circular economy adoption. Why it matters: This highlights the UAE's focus on empowering women in STEM and sustainability, aligning with national goals for a sustainable future.
KAUST is accepting applications for its Global Fellowship Program, which supports early-career scientists and engineers with resources to conduct research at KAUST for three years. The program provides a $75,000 annual stipend, up to $40,000 per year in research funds, free housing, and access to KAUST's research infrastructure. The fellowship aligns with Saudi Vision 2030 and KAUST's research priorities. Why it matters: The program signifies KAUST's ongoing efforts to attract global talent and advance research and development in line with the Kingdom's strategic goals.