Skip to content
GCC AI Research

Search

Results for "Tamarin"

Formal Methods for Modern Payment Protocols

MBZUAI ·

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.

Solving the global energy challenge

KAUST ·

KAUST Professor J. Carlos Santamarina is researching solutions to the global energy challenge, focusing on sustainable energy production while reducing CO2 emissions. He notes the increasing energy demand due to population growth and the limitations of current energy sources. Santamarina emphasizes the need for fuel-producing countries to participate in carbon capture and storage to meet carbon targets. Why it matters: This research contributes to addressing critical sustainability challenges in the region, especially in oil-producing countries like Saudi Arabia.

KAUST Professor J. Carlos Santamarina and postdoctoral fellow Junghee Park receive 2019 Tarek Al-Kasabi Award for Excellence in Civil Engineering in Saudi Arabia

KAUST ·

KAUST Professor J. Carlos Santamarina and postdoctoral fellow Junghee Park received the 2019 Tarek Al-Kasabi Award for Excellence in Civil Engineering in Saudi Arabia. The award, administered by King Saud University, recognizes outstanding contributions to civil engineering within the Kingdom. Santamarina and Park were nominated by Dr. Abdullah Almajed from King Saud University and received a plaque, certificate, and a cash prize of SAR 100,000. Why it matters: Recognition of KAUST faculty highlights the university's contribution to civil engineering research and development in Saudi Arabia.

KAUST and the promise of reinvention

KAUST ·

J. Carlos Santamarina, a Professor of Earth Science and Engineering at KAUST, is researching geomaterial behavior and subsurface processes. His work focuses on energy geo-engineering, resource recovery, and geological storage of energy waste. He uses particle-level experiments, numerical methods, and monitoring systems to understand coupled thermo-hydro-bio-chemo-mechanically processes. Why it matters: This research contributes to energy sustainability and addresses global energy challenges through advanced geotechnology.

Ninth academic Convocation marks new beginnings and calls for visionary future

KAUST ·

KAUST held its ninth academic Convocation ceremony on September 4, welcoming a new cohort of master's and Ph.D. students, half of whom are international and over a third female. President Tony Chan addressed the students, emphasizing the university's vision, while student speaker Kenneth Langley encouraged collaboration. Faculty speaker J. Carlos Santamarina highlighted the importance of connections within the research community. Why it matters: As KAUST grows, these events are vital for shaping a collaborative environment and promoting the university's strategic vision for research and education in Saudi Arabia.