Verification of Confidentiality of Multi-threaded Programs

Minh Tri Ngo

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

12 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. -