Channels: Runtime System Infrastructure for Security-Typed Languages.

Boniface Hicks, Tim Misiak, Patrick D. McDaniel

Browse the full ACSAC paper archive.