Amirhosein Sayyadabdi

Orcid: 0000-0002-6912-4402

According to our database¹, Amirhosein Sayyadabdi authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Formal Lens on Android Permissions System: Modeling, Verification, and Exploitation Using LLMs and Model Checking.

[DOI]

ACM Trans. Priv. Secur., May, 2026

2022

Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System.

[DOI]

ISC Int. J. Inf. Secur., 2022

A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System.

[DOI]

CoRR, 2022