A
Andrei Sabelfeld
Researcher at Chalmers University of Technology
Publications - 133
Citations - 7717
Andrei Sabelfeld is an academic researcher from Chalmers University of Technology. The author has contributed to research in topics: Security policy & Information flow (information theory). The author has an hindex of 40, co-authored 124 publications receiving 7224 citations. Previous affiliations of Andrei Sabelfeld include Cornell University.
Papers
More filters
Journal ArticleDOI
Language-based information-flow security
Andrei Sabelfeld,Andrew C. Myers +1 more
TL;DR: A structured view of research on information-flow security is given, particularly focusing on work that uses static program analysis to enforce information- flow policies, and some important open challenges are identified.
Proceedings ArticleDOI
Probabilistic noninterference for multi-threaded programs
Andrei Sabelfeld,David Sands +1 more
TL;DR: A probability-sensitive confidentiality specification-a form of probabilistic noninterference-for a small multi-threaded programming language with dynamic thread creation and shows how the security condition satisfies compositionality properties which facilitate straightforward proofs of correctness for, e.g., security type systems.
Proceedings ArticleDOI
Dimensions and principles of declassification
Andrei Sabelfeld,David Sands +1 more
TL;DR: A road map of the main directions of current research in information release is provided, by classifying the basic goals according to what information is released, who releases information, where in the system information isreleased, and when information can be released.
Journal ArticleDOI
Declassification: Dimensions and principles
Andrei Sabelfeld,David Sands +1 more
TL;DR: A road map of the main directions of current research in information release is provided, by classifying the basic goals according to what information is released, who releases information, where in the system information isreleased and when information can be released.
Journal ArticleDOI
A Per Model of Secure Information Flow in Sequential Programs
Andrei Sabelfeld,David Sands +1 more
TL;DR: The approach is inspired by (and in the deterministic case equivalent to) the use of partial equivalence relations in specifying binding-time analysis, and is thus able to specify security properties of higher-order functions and “partially confidential data”.