1 January 2003

The journal article “Information leakage detection in boundary ambients”, by Braghin, C., Cortesi, A., Focardi, R., has just been published in “Electronic Notes in Theoretical Computer Science”! Available here.