Leakage-proof program partitioning. - Tao Zhang 037; Santosh Pande; André L. M. dos Santos; Franz Josef Bruecklmayr (CASES, 2002)