Fetching the paper…
Reading the bibliography…
The rise of serverless computing provides an opportunity to rethink cloud security.
Secure Computer Systems: Mathematical Foundations
D. Elliott Bell and Leonard J. LaPadula. 1973 · 1973
Earlier work this paper cites.
A lattice model of secure information flow
Dorothy E Denning. 1976 · 1976
Earlier work this paper cites.
Certification of Programs for Secure Information Flow
Dorothy E. Denning and Peter J. Denning. 1977 · 1977
Earlier work this paper cites.
The SLam Calculus: Programming with Secrecy and Integrity. In Proc. of POPL 1998
Nevin Heintze and Jon G. Riecke. 1998 · 1998
Earlier work this paper cites.
Secure Information Flow in a Multi-threaded Imperative Language. In Proc. of POPL 1998
Geoffrey Smith and Dennis Volpano. 1998 · 1998
Earlier work this paper cites.
JFlow: Practical mostly-static information flow control. In Proc. of POPL 1999
Andrew C Myers. 1999 · 1999
Earlier work this paper cites.
Protecting privacy using the decentralized label model
Andrew C Myers and Barbara Liskov. 2000 · 2000
Earlier work this paper cites.
A Per Model of Secure Information Flow in Sequential Programs
Andrei Sabelfeld and David Sands. 2001 · 2001
Earlier work this paper cites.
Programming languages for information security
Stephan Arthur Zdancewic. 2002 · 2002
Earlier work this paper cites.
Language-based information-flow security
Andrei Sabelfeld and Andrew C Myers. 2003 · 2003
Earlier work this paper cites.
Labels and event processes in the Asbestos operating system. In Proc. of SOSP 2005
Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek, and Robert Morris. 2005 · 2005
Earlier work this paper cites.
Termination-Insensitive Noninterference Leaks More Than Just a Bit. In Proc. of ESORICS 2008
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, and David Sands. 2008 · 2008
Earlier work this paper cites.
Efficient Purely-dynamic Information Flow Analysis. In Proc. of PLAS 2009
Thomas H. Austin and Cormac Flanagan. 2009 · 2009
Earlier work this paper cites.
Reactive noninterference. In Proceedings of the 16th ACM conference on Computer and communications security
Aaron Bohannon, Benjamin C Pierce, Vilhelm Sjöberg, Stephanie Weirich, and Steve Zdancewic. 2009 · 2009
Earlier work this paper cites.
SQL injection attacks led to Heartland, Hannaford breaches
Computerworld. 2009 · 2009
Earlier work this paper cites.
Permissive Dynamic Information Flow Analysis. In Proc. of PLAS 2010
Thomas H. Austin and Cormac Flanagan. 2010 · 2010
Earlier work this paper cites.
Noninterference Through Secure Multi-execution. In Proc. IEEE SSP 2010
Dominique Devriese and Frank Piessens. 2010 · 2010
Earlier work this paper cites.
Microsoft Cloud Data Breach Heralds Things to Come
PCWorld. 2010 · 2010
Earlier work this paper cites.
The PlayStation Network breach (FAQ)
CNET Magazine. 2011 · 2011
Earlier work this paper cites.
Flexible Dynamic Information Flow Control in Haskell. In Proc. of Haskell 2011
Deian Stefan, Alejandro Russo, John C. Mitchell, and David Mazières. 2011 · 2011
Earlier work this paper cites.
RSA explains how attackers breached its systems
The Register. 2011 · 2011
Earlier work this paper cites.
Multiple Facets for Dynamic Information Flow. In Proc. of POPL 2012
Thomas H. Austin and Cormac Flanagan. 2012 · 2012
Earlier work this paper cites.
FlowFox: a web browser with flexible and precise information flow control. In Proc. of CCS 2012
Willem De Groef, Dominique Devriese, Nick Nikiforakis, and Frank Piessens. 2012 · 2012
Earlier work this paper cites.
Addressing covert termination and timing channels in concurrent information flow systems. In ACM SIGPLAN Notices
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C Mitchell, and David Mazieres. 2012 · 2012
Earlier work this paper cites.
Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing. In Proc. of NSDI 2012
Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica. 2012 · 2012
Cited alongside, same era.
Faceted Execution of Policy-agnostic Programs. In Proc. of PLAS
Thomas H. Austin, Jean Yang, Cormac Flanagan, and Armando Solar-Lezama. 2013 · 2013
Cited alongside, same era.
Your server as a function. In In Proc. of PLOS 2013
Marius Eriksen. 2013 · 2013
Cited alongside, same era.
Trustworthy Proxies: Virtualizing Objects with Invariants. In Proc. of ECOOP 2013
Tom Van Cutsem and Mark S. Miller. 2013 · 2013
Cited alongside, same era.
Information Flow Control for Secure Cloud Computing
Jean Bacon, David Eyers, Thomas F. J.-M. Pasquier, Jatinder Singh, Ioannis Papagiannis, and Peter Pietzuch. 2014 · 2014
Cited alongside, same era.
Multiple Facets for Dynamic Information Flow with Exceptions
Thomas H. Austin, Tommy Schmitz, and Cormac Flanagan. 2017 · 2017
Later among the works it cites.
A Survey of Timing Channels and Countermeasures
Arnab Kumar Biswas, Dipak Ghosal, and Shishir Nagaraja. 2017 · 2017
Later among the works it cites.
iRobot Confronts the Challenges of Running Serverless at Scale
Mark Boyd. 2017 · 2017
Later among the works it cites.
How Reuters Replaced WebSockets with Amazon Cognito and SQS
Ken Ellis. 2017 · 2017
Later among the works it cites.
How Hackers Broke Equifax: Exploiting A Patchable Vulnerability
Forbes. 2017 · 2017
Later among the works it cites.
A Thunk to Remember: make -j1000 (and other jobs) on functions-as-a-service infrastructure (Under review)
Sadjad Fouladi, Dan Iter, Shuvo Chatterjee, Christos Kozyrakis, Matei Zaharia, and Keith Winstein. 2017a · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Computerworld. 2014 · 2014
Cited alongside, same era.
eBay Suffers Massive Security Breach, All Users Must Change Their Passwords
Forbes. 2014 · 2014
Cited alongside, same era.
Intel Software Guard Extensions Programming Reference
Intel Corporation. 2014 · 2014
Cited alongside, same era.
Anatomy of the Target data breach: Missed opportunities and lessons learned
ZDNet. 2015 · 2015
Cited alongside, same era.
Coca-Cola: Running Serverless Applications with Enterprise Requirements
Andrew Baird, Michael Connor, and Patrick Brandt. 2016 · 2016
Cited alongside, same era.
Spot the difference: Secure multi-execution and multiple facets. In European Symposium on Research in Computer Security
Nataliia Bielova and Tamara Rezk. 2016 · 2016
Cited alongside, same era.
Serverless Computing Patterns at Expedia
Kuldeep Chowhan. 2016 · 2016
Cited alongside, same era.
Later among the works it cites.
Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. In Proc. of NSDI 2017
Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Vasuki Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, and Keith Winstein. 2017b · 2017
Later among the works it cites.
gg source code repository
gg project. 2017 · 2017
Later among the works it cites.
Google Cloud Functions
Google. 2017 · 2017
Later among the works it cites.
IBM Cloud Functions
IBM. 2017 · 2017
Later among the works it cites.
Occupy the Cloud: Distributed Computing for the 99%
Eric Jonas, Shivaram Venkataraman, Ion Stoica, and Benjamin Recht. 2017 · 2017
Later among the works it cites.
Stateless Network Functions: Breaking the Tight Coupling of State and Processing. In Proc. of NSDI 2017
Murad Kablan, Azzam Alsudais, Eric Keller, and Franck Le. 2017 · 2017
Later among the works it cites.
Announcing the Winners of the Inaugural ServerlessConf Architecture Competition
McKim, John. 2017 · 2017
Later among the works it cites.
Azure Functions
Microsoft. 2017 · 2017
Later among the works it cites.
CVE-2017-5638
National Vulnerability Database. 2017 · 2017
Later among the works it cites.
nodemailer
nodemailer 2017 · 2017
Later among the works it cites.
Hello, Retail!
Nordstrom Technology. 2017 · 2017
Later among the works it cites.
Serverless Architectures on AWS: With examples using AWS Lambda
Peter Sbarski. 2017 · 2017
Later among the works it cites.
Serverless Examples
Serverless, Inc. 2017 · 2017
Later among the works it cites.
Massive Amazon S3 leaks highlight user blind spots in enterprise race to the cloud
TechRepublic. 2017 · 2017
Later among the works it cites.
Anthem medical data breach
Wikipedia. 2017a · 2017
Later among the works it cites.
Sony Pictures hack
Wikipedia. 2017b · 2017
Later among the works it cites.
Yahoo! data breaches
Wikipedia. 2017c · 2017
Later among the works it cites.