A Core Calculus of Dependency (1999)

by Martín Abadi , Anindya Banerjee , Nevin Heintze , Jon G. Riecke
Venue:IN PROC. 26TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL
Citations:221 - 25 self

Active Bibliography

576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
66 A Model for Delimited Information Release – Andrei Sabelfeld, Andrew C. Myers - 2004
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
139 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
76 Stack-based Access Control and Secure Information Flow – Anindya Banerjee, David A. Naumann - 2003
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
55 Mostly-Static Decentralized Information Flow Control – Andrew C. Myers - 1999
32 Secure Information Flow and CPS – Steve Zdancewic, Andrew C. Myers - 2001
3 A Perspective on Information-Flow Control – Daniel Hedin , Andrei Sabelfeld - 2011
31 Enforcing robust declassification and qualified robustness – Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic - 2006
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
5 A modal foundation for secure information flow – Kenji Miyamoto, Atsushi Igarashi - 2004
4 Checking secure information flow in java bytecode by code transformation and standard bytecode verification – C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
75 Complete, Safe Information Flow with Decentralized Labels – Andrew C. Myers, Barbara Liskov - 1998
Making distributed computation secure by construction – Lantian Zheng - 2007
4 Embedding Verifiable Information Flow Analysis – Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl - 2006
211 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000