Using data-flow analysis for resilience and result checking in peer-to-peer computations | IEEE Conference Publication | IEEE Xplore