Active Bibliography

55 Mostly-Static Decentralized Information Flow Control – Andrew C. Myers - 1999
Making distributed computation secure by construction – Lantian Zheng - 2007
167 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
142 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
212 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
8 Security Analysis using Flow Logics – Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nelson - 2000
32 Programming Languages for Information Security – Stephan Arthur Zdancewic, Ph. D - 2002
66 A Model for Delimited Information Release – Andrei Sabelfeld, Andrew C. Myers - 2004
1 Decentralized Information Flow Control for Databases – David Andrew Schultz - 2012
57 Untrusted Hosts and Confidentiality: Secure Program Partitioning – Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers - 2001
68 Secure Program Partitioning – Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers - 2001
8 Static Analysis for the pi-calculus with Applications to Security – Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson - 2001
32 Secure Information Flow and CPS – Steve Zdancewic, Andrew C. Myers - 2001
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
245 Secrecy by Typing in Security Protocols – Martín Abadi - 1998
41 Security Protocols and their Properties – Martín Abadi - 2000
25 Security Protocols and Specifications – Martín Abadi - 1999