Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Research output: Book/Report › Report › Professional

258 Downloads (Pure)

1 Conference contribution

1 results

2013
Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification
Ngo, M. T., Stoelinga, M. & Huisman, M., Feb 2013, Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013. London: Springer, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
14 Link opens in a new tab Citations (Scopus)

123 Downloads (Pure)