Updatable Security Views (2009)

by J. Nathan Foster , Benjamin C. Pierce , Steve Zdancewic
Citations:11 - 2 self

Active Bibliography

3 Bidirectional Programming Languages – John Nathan Foster - 2010
139 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
13 Matching Lenses: Alignment and View Update – Davi M. J. Barbosa , Julien Cretin, Nate Foster , Michael Greenberg , Benjamin C. Pierce - 2010
1 Three Complementary Approaches to Bidirectional Programming – Nate Foster, Kazutaka Matsuda, Janis Voigtländer
1 TAJ: Effective Taint Analysis of Web Applications – Marco Pistoia, Stephen Fink, Manu Sridharan, Omri Weisman
5 Andromeda: Accurate and scalable security analysis of web applications – Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri - 2013
32 Airavat: Security and Privacy for MapReduce – Indrajit Roy, Hany E. Ramadan, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel - 2009
3 Implicit flows in malicious and nonmalicious code – Ro Russo A, Andrei Sabelfeld, Keqin Li
3 Implicit flows in malicious and nonmalicious code – Alejandro Russo , Andrei Sabelfeld, Keqin Li - 2009
Protecting Sensitive Information from Untrusted Code – Indrajit Roy - 2010
END-TO-END INFORMATION FLOW SECURITY FOR JAVA by – Mark Andrew Thober, C Mark Andrew Thober - 2007
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
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
19 Flexible dynamic information flow control in Haskell – Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières - 2011
Making distributed computation secure by construction – Lantian Zheng - 2007
Modular Reasoning about . . . – Sruthi Bandhakavi - 2005
Efficient Purely-Dynamic . . . – Thomas H. Austin, Cormac Flanagan - 2009
2 Gradual Information Flow Typing – Tim Disney, Cormac Flanagan