1. Sandtrap: Securing javascript-driven trigger-action platforms;Ahmadpanah,2021
2. Scalable analysis of interaction threats in iot systems;Alhanahnah,2020
3. If this then what? controlling flows in iot apps;Bastys,2018
4. Bodík, R., Jobstmann, B., 2013. Algorithmic program synthesis: introduction.
5. How users interpret bugs in trigger-action programming;Brackenbury,2019