Abstract is missing.
- To Dream the Impossible Dream: Toward Security Analysis for JavaScriptJulian Dolby. 1 [doi]
- You Sank My Battleship!: A Case Study in Secure ProgrammingAlley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich. 2 [doi]
- Generalizing Permissive-Upgrade in Dynamic Information Flow AnalysisAbhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer. 15 [doi]
- Building Secure Systems with LIO (Demo)Deian Stefan, David Mazières. 25 [doi]
- A Language-Based Approach to Secure Quorum ReplicationLantian Zheng, Andrew C. Myers. 27 [doi]
- Operational Semantics for Secure InteroperationAdriaan Larmuseau, Marco Patrignani, Dave Clarke. 40 [doi]
- Domain-Polymorphic Programming of Privacy-Preserving ApplicationsDan Bogdanov, Peeter Laud, Jaak Randmets. 53 [doi]
- Monitoring Reactive Systems with Dynamic ChannelsDante Zanarini, Mauro Jaskelioff. 66 [doi]
- Paragon: Programming with Information Flow Control (Demo)Niklas Broberg, Bart van Delft, David Sands. 79 [doi]