Active Bibliography

458 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
81 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
6 Secure flow typing – Dennis Volpano, Cynthia Irvine - 1997
214 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
51 Mostly-Static Decentralized Information Flow Control – Andrew C. Myers - 1999
181 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
17 The Impact of Synchronisation on Secure Information Flow in Concurrent Programs – Andrei Sabelfeld - 2001
126 A type-based approach to pro-gram security – Dennis Volpano, Geoffrey Smith - 1997
4 Checking secure information flow in java bytecode by code transformation and standard bytecode verification – C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini
181 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
21 Programming Languages for Information Security – Stephan Arthur Zdancewic, Ph. D - 2002
Making distributed computation secure by construction – Lantian Zheng - 2007
8 The SLam Calculus: Programming with Security and Integrity – Nevin Heintze, Jon G. Riecke - 1998
136 Securing web application code by static analysis and runtime protection – Yao-wen Huang, Fang Yu, Christian Hang, Chung-hung Tsai, D. T. Lee, Sy-yen Kuo - 2004
7 Static Analysis for the pi-calculus with Applications to Security – Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson - 2001
10 Dynamic vs. static flow-sensitive security analysis – Alejandro Russo, Andrei Sabelfeld - 2010
43 Trust in the λ-Calculus – Jens Palsberg, Peter Ørbæk - 1995
379 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
36 Observational Determinism for Concurrent Program Security – Steve Zdancewic, Andrew C. Myers - 2003