Mariano Ceccato Mila Dalla Preda Jasvir Nagra Christian S. Collberg Paolo Tonella Barrier Slicing for Remote Software Trusting. 27-36 2007 SCAM http://dx.doi.org/10.1109/SCAM.2007.27 conf/scam/2007 db/conf/scam/scam2007.html#CeccatoPNCT07