Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

    Research output: Book/ReportReportProfessional

    110 Downloads (Pure)

    Fingerprint

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

    Engineering & Materials Science