Amir Rahmati, Earlence Fernandes, Atul Prakash: Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications. SecDev 2016: 88-93