When installing an app on an Android device, we grant it access to parts of our personal (and often sensitive) data that are either stored on the device or dynamically acquired by the environment (e.g., GPS coordinates). How can we detect whether such information is leaked by the app to (unauthorized) external parties? How can we guarantee the absence of security threats when downloading an app from the store?
The aim of this special issue is to provide a broad picture of how static analysis techniques address the abovementioned issues: tracing how information is potentially released; how problematic such releases are (as a function of the declassification, or anonymization, applied to the data); whether and how side channels (implicit dependencies) are a threat; and how to prevent undesirable interactions due to multiple applications running on the same device or on connected devices.
Topics of interest include, but are not limited to:
Specification of SAAPs
Abstract Interpretation as SAAP
Control Flow Analysis as SAAP
Model Checking as SAAP
Taint Analysis & Dataflow Analysis as SAAP
Validation and Verification of SAAPs
Tools for model-driven SAAP development
Case Studies of SAAPs
Prof. Agostino Cortesi, Ca’ Foscari University, Venice, Italy, email@example.com
Dr. Omer Tripp, Google Inc., firstname.lastname@example.org
Submissions to the special issue must include original research. Papers must be new and have not been published or submitted to other journals. Authors should prepare their manuscript according to the \”Guide for Authors\” available at the journal homepage: http://www.journals.elsevier.com/cognitive-systems-research/.
Submission should be made via the EVISE system:
Authors must select “VSI: SAAP 2017” when they reach the \”Article Type\” step in the submission process. All papers will be peer-reviewed following the reviewing procedures of the Cognitive Systems Research (CSR) journal.
All papers will undergo a preliminary screening to ensure relevance to the special issue prior to be the peer-review phase; research papers that do not sufficiently address the special issue call may not be selected for a full peer review (such a decision will be communicated rapidly).
The submission deadline: the date by which all papers should be submitted to the Guest Editors for review and the EES submission site will be closed.
October 30, 2017
The acceptance deadline: the date by which all manuscripts should be fully reviewed and final decisions made on all manuscripts; and those failed to meet the deadline may be excluded.
March 15, 2018