Amirhosein Sayyadabdi

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

False Positives

Security Properties

Malware Detection

Formal Specification

Top Venues

ISC Int. J. Inf. Secur.

Publications

Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. CoRR (2022)
Amirhosein Sayyadabdi
A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System. CoRR (2022)
Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. ISC Int. J. Inf. Secur. 14 (3) (2022)