|
|
|
TALKS MATERIAL
|
Information-hiding protocols as opaque channels
[Catuscia Palamidessi]
|
Decomposing non-interference policies
[Isabella Mastroeni]
|
Making information flow control practical with program slicing
[Christian Hammer]
|
Applications of static slicing in cost analysis of Java bytecode
[Samir Genaim]
|
Schema theory and dynamic slicing
[Mike Laurence]
|
Just forget it: The Semantics and Enforcement of Erasure Policies
[David Sands]
|
Observation, non-determinism and non-deducability on strategies
[Sebastian Hunt]
|
Quantitative analysis for multithreaded programs
[Han Chen]
|
A program analysis approach to security properties under refinement
[Chunyan Mu]
|