Barrier slicing for remote software trusting

Remote trusting aims at verifying the healthy execu-tion of a program running on an untrusted client which com-municates with a trusted server via network connection. Af-ter giving a formal denition 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 modication 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 signicantly smaller than the corresponding backward slice while providing the same level of protection.