Abstract is missing.
- Languages for Oblivious ComputationMichael Hicks 0001. 1 [doi]
- CFG Construction Soundness in Control-Flow IntegrityGang Tan, Trent Jaeger. 3-13 [doi]
- Using Precise Taint Tracking for Auto-sanitizationTejas Saoji, Thomas H. Austin, Cormac Flanagan. 15-24 [doi]
- Modular Synthesis of Heap ExploitsDusan Repel, Johannes Kinder, Lorenzo Cavallaro. 25-35 [doi]
- Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte. 37-42 [doi]
- Short Paper: Towards Information Flow Reasoning about Real-World C CodeSamuel Grütter, Toby C. Murray. 43-48 [doi]
- Annotated Multisemantics To Prove Non-Interference AnalysesGurvan Cabon, Alan Schmitt. 49-62 [doi]
- Design-time Quantification of Integrity in Cyber-physical SystemsEric Rothstein Morris, Carlos G. Murguia, Martín Ochoa. 63-74 [doi]
- Authorization ContractsStephen Chong. 75 [doi]
- Encoding DCC in HaskellMaximilian Algehed, Alejandro Russo. 77-89 [doi]
- A Sequent Calculus for Counterfactual ReasoningMcKenna McCall, Lay Kuan Loh, Limin Jia. 91-106 [doi]
- Simplicity: A New Language for BlockchainsRussell O'Connor. 107-120 [doi]