Barrier Slicing for Remote Software Trusting