Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Minh Tri Ngo, Mariëlle Stoelinga, Marieke Huisman

    Research output: Book/Report › Report › Professional

    168 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification'. Together they form a unique fingerprint.

    Computer Science