safeDpi: A Language for Controlling Mobile Code.

Matthew Hennessy, Julian Rathke, Nobuko Yoshida

Browse the full FOSSACS paper archive.