Extending and analyzing storyboards can help secure mobile apps

[rvprasad]

We extended the storyboards used in Android app development with security properties to help check storyboards for the presence of a known set of vulnerabilities. Our evaluation suggests the proposed methodology is highly effective while being almost non-intrusive (in terms of the current workflow) and improving developer productivity.

The details of the methodology and the supporting prototype tooling are available at https://arxiv.org/abs/2001.10052.