English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Mobile apps can access a wide variety of secure information, such as contactsand location. However, current mobile platforms include only coarse accesscontrol mechanisms to protect such data. In this paper, we introduceinteraction-based declassification policies, in which the user's interactionswith the app constrain the release of sensitive information. Our policies aredefined extensionally, so as to be independent of the app's implementation,based on sequences of security-relevant events that occur in app runs. Policiesuse LTL formulae to precisely specify which secret inputs, read at which times,may be released. We formalize a semantic security condition, interaction-basednoninterference, to define our policies precisely. Finally, we describe aprototype tool that uses symbolic execution to check interaction-baseddeclassification policies for Android, and we show that it enforces policiescorrectly on a set of apps.

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution