Privacy policy enforcement against implicit information flows

This page shows how smalien operates privacy policy enforcement against implicit information flows.

A sample application is 1_EncodingTrick_for_bh.apk in samples/ directory. This experiment should be done with an Android emulator.

1. Check how data leakage occurs with the original application

a. Install the application to an Android emulator. b. Start a server listening at port 8000.

nc -l 8000

c. Run the application.