Walnut: A low-trust trigger-action platform. - Sandy Schoettler; Andrew Thompson 009; Rakshith Gopalakrishna; Trinabh Gupta (CoRR, 2020)