Channels: Runtime System Infrastructure for Security-Typed Languages. - Boniface Hicks; Tim Misiak; Patrick D. McDaniel (ACSAC, 2007)