Secure implementations of typed channel abstractions.

Michele Bugliesi, Marco Giunti

Browse the full POPL paper archive.