Verification of Confidentiality of Multi-threaded Programs

Minh Tri Ngo

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

    13 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.
    Ngo, Minh Tri. / Verification of Confidentiality of Multi-threaded Programs. IPA PhD Workshop 2010. Veldhoven : IPA, 2010. pp. -
    @inproceedings{3ddb553166e4461088b00d9920b588f8,
    title = "Verification of Confidentiality of Multi-threaded Programs",
    abstract = "An introduction of Slalom project: motivation, plans and some results",
    keywords = "IR-75783, EWI-19401, METIS-275865",
    author = "Ngo, {Minh Tri}",
    year = "2010",
    month = "10",
    day = "1",
    language = "Undefined",
    isbn = "not assigned",
    publisher = "IPA",
    pages = "--",
    booktitle = "IPA PhD Workshop 2010",

    }

    Ngo, MT 2010, Verification of Confidentiality of Multi-threaded Programs. in IPA PhD Workshop 2010. IPA, Veldhoven, pp. -.

    Verification of Confidentiality of Multi-threaded Programs. / Ngo, Minh Tri.

    IPA PhD Workshop 2010. Veldhoven : IPA, 2010. p. -.

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

    TY - GEN

    T1 - Verification of Confidentiality of Multi-threaded Programs

    AU - Ngo, Minh Tri

    PY - 2010/10/1

    Y1 - 2010/10/1

    N2 - An introduction of Slalom project: motivation, plans and some results

    AB - An introduction of Slalom project: motivation, plans and some results

    KW - IR-75783

    KW - EWI-19401

    KW - METIS-275865

    M3 - Conference contribution

    SN - not assigned

    SP - -

    BT - IPA PhD Workshop 2010

    PB - IPA

    CY - Veldhoven

    ER -

    Ngo MT. Verification of Confidentiality of Multi-threaded Programs. In IPA PhD Workshop 2010. Veldhoven: IPA. 2010. p. -