Amir Rahmati, Earlence Fernandes, Atul Prakash. Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications. In IEEE Cybersecurity Development, SecDev 2016, Boston, MA, USA, November 3-4, 2016. pages 88-93, IEEE, 2016. [doi]