Abstract is missing.
- Jifclipse: development tools for security-typed languagesBoniface Hicks, Dave King 0002, Patrick McDaniel. 1-10 [doi]
- Improving usability of information flow security in javaScott F. Smith, Mark Thober. 11-20 [doi]
- A domain-specific programming language for secure multiparty computationJanus Dam Nielsen, Michael I. Schwartzbach. 21-30 [doi]
- Quantitative analysis of leakage for multi-threaded programsHan Chen, Pasquale Malacaria. 31-40 [doi]
- A simulation-based proof technique for dynamic information flowStephen McCamant, Michael D. Ernst. 41-46 [doi]
- Cautious virus detection in the extremeJohn Case, Samuel E. Moelius. 47-52 [doi]
- Localized delimited release: combining the what and where dimensions of information releaseAslan Askarov, Andrei Sabelfeld. 53-60 [doi]
- Towards a logical account of declassificationAnindya Banerjee, David A. Naumann, Stan Rosenberg. 61-66 [doi]
- Fast probabilistic simulation, nontermination, and secure information flowGeoffrey Smith, Rafael Alpízar. 67-72 [doi]
- Informal presentation: a trust management perspective on managing policy updates in security-typed languagesSruthi Bandhakavi, William H. Winsborough, Marianne Winslett. 73-74 [doi]
- Large-scale analysis of format string vulnerabilities in Debian LinuxKarl Chen, David Wagner. 75-84 [doi]
- Guarded models for intrusion detectionHassen Saïdi. 85-94 [doi]
- Using web application construction frameworks to protect against code injection attacksV. Benjamin Livshits, Úlfar Erlingsson. 95-104 [doi]