M. Ceccato, M. Dalla Preda, J. Nagra, C. Collberg, 
“Barrier Slicing for Remote Software Trusting”,
to appear in 7th IEEE International Working Conference on Source 
Code Analysis and Manipulation (SCAM 2007), 10 pp., 2007.  

Available:
http://www.itc.it/publik/documentGateway.aspx?docId=43, 
July 2007

Remote trusting aims at verifying the "healthy" execution
of a program running on an untrusted client which communicates
with a trusted server via network connection. After
giving a formal definition of the remote trusting problem
and a test to determine whether an attack against a given
remote trusting scheme is successful or not, we propose a
protection against malicious modification of the client code,
based on the replication of a portion of the client on the
server. To minimize the size of the code that is replicated,
we propose to use barrier slicing. We show the feasibility
of our approach on a case study. Our results indicate that a
barrier slice is significantly smaller than the corresponding
backward slice while providing the same level of protection.