Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Minh Tri Ngo, Mariëlle Stoelinga, Marieke Huisman

    Research output: Book/Report › Report › Professional

    165 Downloads (Pure)
    • 1 Conference contribution

    Search 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 Citations (Scopus)
      42 Downloads (Pure)