Stack-based Access Control and Secure Information Flow (2003)

Cached

Download Links

by Anindya Banerjee , David A. Naumann
Citations:78 - 18 self

Active Bibliography

590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
Language-Based Information-Flow Security – unknown authors
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
144 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
67 A Model for Delimited Information Release – Andrei Sabelfeld, Andrew C. Myers - 2004
34 Enforcing robust declassification and qualified robustness – Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic - 2006
4 A Perspective on Information-Flow Control – Daniel Hedin , Andrei Sabelfeld - 2011
Abstract A Domain-Specific Programming Language for Secure Multiparty Computation – Secure Multiparty Computation (smc
Making distributed computation secure by construction – Lantian Zheng - 2007