Securing interaction between threads and the scheduler

  title={Securing interaction between threads and the scheduler},
  author={Alejandro Russo and Andrei Sabelfeld},
  journal={19th IEEE Computer Security Foundations Workshop (CSFW'06)},
  pages={13 pp.-189}
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information flow security often suffer from over-restrictiveness, relying on non-standard semantics, lack of compositionality, inability to handle dynamic threads, scheduler dependence, and efficiency overhead for code that results from security-enforcing transformations. This paper suggests a remedy for some of these shortcomings by developing a novel… CONTINUE READING
Highly Cited
This paper has 82 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 52 extracted citations

82 Citations

Citations per Year
Semantic Scholar estimates that this publication has 82 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 34 references

Gnu pth - the gnu portable threads

R. S. Engelschall
View 4 Excerpts
Highly Influenced

The Native POSIX Thread Library for Linux

View 3 Excerpts
Highly Influenced

The specification and modeling of computer security

Computer • 1990
View 1 Excerpt
Highly Influenced

A temporal logic characterisation of observational determinism

19th IEEE Computer Security Foundations Workshop (CSFW'06) • 2006
View 1 Excerpt

Preventing screen lockups of blocking operations

Q. H. Mahmoud
Sun Technical Articles and Tips mobility/midp/ttips/screenlock/ • 2004
View 2 Excerpts

Language-based information-flow security

IEEE Journal on Selected Areas in Communications • 2003
View 3 Excerpts

Similar Papers

Loading similar papers…