Skip to content

Simple Noninterference by Normalization.

Carlos Tom Cortias, Nachiappan Valliappan

VenueA*CCS
Year2019
ProceedingsPLAS@CCS

Browse the full CCS paper archive.