Verifying System Level Information Flow Using Confidentiality-Preserving Refinement

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

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item