Texas A&M researchers have identified the properties needed to prove that bitcoin and other related cryptographic protocols are secure and safe to use.