A Sound Type System for Secure Currency Flow.

Luca Aceto, Daniele Gorla, Stian Lybech

Browse the full ECOOP paper archive.