Reconciling Progress-Intensive Noninterference and Declassification

POPL 2020

Reconciling Progress-Intensive Noninterference and Declassification

Sep 17, 2020
|
36 views
Details
Presenter: Aslan Askarov Presented at PriSC'20, colocated with POPL 2020.

Comments
loading...