Confidentiality for Probabilistic Multi-threaded Programs and Its Verification

  title={Confidentiality for Probabilistic Multi-threaded Programs and Its Verification},
  author={Tri Minh Ngo and Mari{\"e}lle Stoelinga and Marieke Huisman},
Confidentiality is an important concern in today’s information society: electronic payment and personal data should be protected appropriately. This holds in particular for multi-threaded applications, which are generally seen the future of high-performance computing. Multithreading poses new challenges to data protection, in particular, data races may be exploited in security attacks. Also, the role of the scheduler is seminal in the multi-threaded context. This paper proposes a new notion of… CONTINUE READING
9 Citations
30 References
Similar Papers


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

The Design and Analysis of Computer Algorithms

  • A. V. Aho, J. E. Hopcroft
  • Addison-Wesley, 1st edition,
  • 1974
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…