Types for Information Flow Control: Labeling Granularity and Semantic Models

Rajani, Vineet; Garg, Deepak

doi:10.1109/CSF.2018.00024

Local TagsRelease HistoryDetailsSummary

Types for Information Flow Control: Labeling Granularity and Semantic Models

Rajani, V., & Garg, D. (2018). Types for Information Flow Control: Labeling Granularity and Semantic Models. In IEEE 31th Computer Security Foundations Symposium (pp. 233-246). Piscataway, NJ: IEEE. doi:10.1109/CSF.2018.00024.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-2D8D-D Version Permalink: https://hdl.handle.net/21.11116/0000-0003-2D8E-C

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Rajani, Vineet¹, Author
Garg, Deepak¹, Author

Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Rajani_CSF2018
DOI: 10.1109/CSF.2018.00024

Degree: -

Event

show

hide

Title: IEEE 31th Computer Security Foundations Symposium

Place of Event: Oxford, UK

Start-/End Date: 2018-07-09 - 2018-07-12

Legal Case

show

Project information

show

Source 1

show

hide

Title: IEEE 31th Computer Security Foundations Symposium

Subtitle : CSF 2018 ; Proceedings

Abbreviation : CSF 2018

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 233 - 246 Identifier: ISBN: 978-1-5386-6680-7