PLID'04: Proceedings

• Cover
• Program
• Challenges in Information-flow security, S. Zdancewic
• Policies and Mechanisms for Safe Information Release, A. Sabelfeld
• Eliminating Timing leaks by Unification (Extended Abstract), B. Köpf and H. Mantel
• Generalized Non-Interference for Timed Automata, R. Giacobazzi and I. Mastroeni
• Non-Interference for Weak Observers, D. Clark, S. Hunt and P. Malacaria
• Measuring Confinement via Weak Bisimulation (Extended Abstract), A. Di Pierro, C. Hankin and H. Wiklicky
• Applications of Linear Program Schematology in Dependence Analysis, S. Danicic, M. Harman, R. Hierons, J. Howroyd and M. Laurence
• A Lazy Semantics for Program Slicing, S. Danicic, M. Harman, J. Howroyd and L. Ouarbya
• Abstract Non-Interference in a functional Dependency Calculus, D. Zanardini
• Information Flow Analysis for Java Bytecode, S. Genaim and F. Spoto