Consider we have three parties,namely client $A$, client $B$ and a server. Client $B$ and the server can be malicious, but we do not allow the adversary to simultaneously corrupt the server and client $B$ (similar to ). The scenario is that both clients outsource their private data to the server. Then they ask the server to do computation and send back the result and a proof of computation correctness to client B. I have designed a protocol that satisfy the above properties but the malicious server may send an incomplete result. This can be detected by client B but after that if client $B$ proceeds it can learn client $A$'s data (and this is not desirable).
Question: Based on the above security model, is client $B$ allowed to take further action to figure out the other client's data, after it detects the server's malicious behavior?
Edit: TBN: The outsourced data is not leaked to the malicious server.