Skip to content

A uniform type structure for secure information flow.

Kohei Honda, Nobuko Yoshida

VenueA*POPL
Year2002
ProceedingsPOPL

Browse the full POPL paper archive.