Valve: Securing Function Workflows on Serverless Computing Platforms. - Pubali Datta; Prabuddha Kumar; Tristan Morris; Michael Grace; Amir Rahmati; Adam Bates 001 (WWW, 2020)