Verification of Confidentiality of Multi-threaded Programs

Minh Tri Ngo

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    14 Downloads (Pure)

    Abstract

    An introduction of Slalom project: motivation, plans and some results
    Original languageUndefined
    Title of host publicationIPA PhD Workshop 2010
    Place of PublicationVeldhoven
    PublisherIPA
    Pages-
    Number of pages5
    ISBN (Print)not assigned
    Publication statusPublished - 1 Oct 2010

    Publication series

    Name
    PublisherIPA

    Keywords

    • IR-75783
    • EWI-19401
    • METIS-275865

    Cite this

    Ngo, M. T. (2010). Verification of Confidentiality of Multi-threaded Programs. In IPA PhD Workshop 2010 (pp. -). Veldhoven: IPA.