All Stories

  1. A Faster and More Secure Way for Blockchain Networks to Agree on Transactions

    Article • Computers Materials & Continua, January 2025, Tsinghua University Press

    Abeer Al-Humaimeedy

  2. Enhancing the specification and verification techniques of multiparty sessions in SOC

    Article • July 2015, ACM (Association for Computing Machinery)

    Abeer Al-Humaimeedy