Blockchain systems like Bitcoin are gaining increasing attention, but at the same time their security guarantees remain not well understood, due to the difficulty of precisely modeling their functionality and proving their security. In a recently published research paper, ZISC researcher Christian Badertscher and his colleagues present a new approach for creating proofs of security of Bitcoin. These new results allow researcher to analyze the security properties of currencies like Bitcoin more precisely than previously.
The research work was presented at the premier conference CRYPTO 2017 and cover by recent Forbes article. ZISC congratulates the researchers for the excellent work!