Verification of Confidentiality of Multi-threaded Programs

Minh Tri Ngo

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

    15 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
    EventIPA PhD Workshop 2010 - Veldhoven, The Netherlands
    Duration: 1 Nov 20103 Nov 2010

    Publication series

    Name
    PublisherIPA

    Workshop

    WorkshopIPA PhD Workshop 2010
    Period1/11/103/11/10
    Other1-3 November 2010

    Keywords

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

    Cite this