|
458
|
Language-Based Information-Flow Security
– Andrei Sabelfeld , Andrew C. Myers
- 2003
|
|
213
|
The slam calculus: programming with secrecy and integrity
– Nevin Heintze, Jon G. Riecke
- 1998
|
|
51
|
A Model for Delimited Information Release
– Andrei Sabelfeld, Andrew C. Myers
- 2004
|
|
30
|
Secure Information Flow via Linear Continuations
– Steve Zdancewic, Andrew C. Myers
- 2002
|
|
122
|
Robust Declassification
– Steve Zdancewic, Andrew C. Myers
- 2001
|
|
62
|
Stack-based Access Control and Secure Information Flow
– Anindya Banerjee, David A. Naumann
- 2003
|
|
89
|
Secure Information Flow and Pointer Confinement in a Java-like Language
– Anindya Banerjee, David A. Naumann
- 2002
|
|
51
|
Mostly-Static Decentralized Information Flow Control
– Andrew C. Myers
- 1999
|
|
30
|
Secure Information Flow and CPS
– Steve Zdancewic, Andrew C. Myers
- 2001
|
|
23
|
Enforcing robust declassification and qualified robustness
– Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
- 2006
|
|
81
|
A Per Model of Secure Information Flow in Sequential Programs
– Andrei Sabelfeld , David Sands
- 1998
|
|
4
|
Checking secure information flow in java bytecode by code transformation and standard bytecode verification
– C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini
|
|
66
|
Complete, Safe Information Flow with Decentralized Labels
– Andrew C. Myers, Barbara Liskov
- 1998
|
|
379
|
JFlow: Practical Mostly-Static Information Flow Control
– Andrew C. Myers
- 1999
|
|
|
Making distributed computation secure by construction
– Lantian Zheng
- 2007
|
|
3
|
Embedding Verifiable Information Flow Analysis
– Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
- 2006
|
|
180
|
Protecting privacy using the decentralized label model
– Andrew C. Myers, Barbara Liskov
- 2000
|
|
46
|
Secure Information Flow as Typed Process Behaviour
– Kohei Honda, Vasco Vasconcelos, Nobuko Yoshida
- 2000
|
|
104
|
Probabilistic Noninterference for Multi-threaded Programs
– Andrei Sabelfeld , David Sands
- 1999
|
