All Stories

  1. How LLMs and Model Checking Expose Android Permission System Flaws.

    Article • ACM Transactions on Privacy and Security, February 2026, ACM (Association for Computing Machinery)

    Amirhosein Sayyadabdi, Behrouz TorkLadani

  2. The Bakery Algorithm and Limited Registers: 100% Overflow-Free

    Article • August 2020, ACM (Association for Computing Machinery)

    Professor Mohsen Sharifi, Amirhosein Sayyadabdi