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