Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain | IEEE Conference Publication | IEEE Xplore