Active Bibliography

576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
6 Secure flow typing – Dennis Volpano, Cynthia Irvine - 1997
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
203 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
55 Mostly-Static Decentralized Information Flow Control – Andrew C. Myers - 1999
211 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
19 The Impact of Synchronisation on Secure Information Flow in Concurrent Programs – Andrei Sabelfeld - 2001
134 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
31 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
164 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
34 Dynamic vs. static flow-sensitive security analysis – Alejandro Russo, Andrei Sabelfeld - 2010
8 Static Analysis for the pi-calculus with Applications to Security – Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson - 2001
48 Trust in the λ-Calculus – Jens Palsberg, Peter Ørbæk - 1995
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
Transforming out Timing Leaks – Johan Agat Department, Johan Agat - 2000