CISPA
Browse

File(s) not publicly available

Verifying System Level Information Flow Using Confidentiality-Preserving Refinement

conference contribution
posted on 2023-11-29, 18:08 authored by Christoph Baumann, Roberto Guanciale, Hamed Nemati, Mads Dam
No description available

History

Preferred Citation

Christoph Baumann, Roberto Guanciale, Hamed Nemati and Mads Dam. Verifying System Level Information Flow Using Confidentiality-Preserving Refinement. In: IEEE Symposium on Security and Privacy (S&P). 2018.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

IEEE Symposium on Security and Privacy (S&P)

Legacy Posted Date

2018-09-28

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_2663, title = "Verifying System Level Information Flow Using Confidentiality-Preserving Refinement", author = "Baumann, Christoph and Guanciale, Roberto and Nemati, Hamed and Dam, Mads", booktitle="{IEEE Symposium on Security and Privacy (S&P)}", year="2018", }

Usage metrics

    Categories

    No categories selected

    Keywords

    Reliable Security Guarantees

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC