IoT platforms enable users to connect various smart devices and online services via reactive apps running on the cloud. These apps, often developed by third-parties, perform simple computations data triggered external information sources actuate results of sinks. Recent research shows that unintended or malicious interactions between different (even benign) a user can cause severe security safe...