A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Browse the full PST paper archive.