Security of Multithreaded Programs by Compilation
Journal article, 2010

End-to-End security of mobile code requires that the code neither intentionally nor accidentally propagates sensitive information to an adversary. Although mobile code is commonly multithreaded low-level code, there lack enforcement mechanisms that ensure information security for such programs. The modularity is three-fold: we give modular extensions of sequential semantics, sequential security typing, and sequential security-type preserving compilation that allow us enforcing security for multithreaded programs. Thanks to the modularity, there are no more restrictions on multithreaded source programs than on sequential ones, and yet we guarantee that their compilations are provably secure for a wide class of schedulers.

schedulers

compilers

type systems

Security

Language

Noninterference

Author

Gilles Barthes

T. Rezk

Alejandro Russo

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Andrei Sabelfeld

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

ACM Transactions on Information and System Security

1094-9224 (ISSN)

Vol. 13 3

Subject Categories

Computer Science

DOI

10.1145/1805974.1895977

More information

Created

10/8/2017