2 papers
cs.PL2018
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi +4
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information…
cs.SE2015
Using Calculation Fragments for Spreadsheet Testing and Debugging
Dietmar Jannach, Thomas Schmitz
A number of automated techniques and tools were proposed in the research literature over the years which aim to support the spreadsheet developer in the process of testing and debu…