TAPShield: Securing Trigger-Action Platforms against Strong Attackers | IEEE Conference Publication | IEEE Xplore