Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Minh Tri Ngo, Mariëlle Stoelinga, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

14 Citations (Scopus)

71 Downloads (Pure)

14 Citations
1 Report

1 results

2012
Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification
Ngo, M. T., Stoelinga, M. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)
Research output: Book/Report › Report › Professional

Open Access
File
204 Downloads (Pure)