"Analysis of the Blockchain Protocol in Asynchronous Networks" formalizes the security properties of Blockchains under bounded adversarial models. Paper link: https://link.springer.com/chapter/10.1007/978-3-319-56614-6_22 --Brett