ZISC researchers present new way to analyze Bitcoin security

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

Prof. Capkun to speak at expert workshop on ledger technologies

On June 15-16, the Swiss Re Centre for Global Dialog will organize an expert workshop on risks and benefits of distributed ledger technologies. “This workshop will contribute a risk governance perspective to exploring the opportunities that distributed ledger technologies (DLTs) potentially bring to how transactions are recorded and services are delivered. The workshop will primarily

SCION Internet architecture featured in Sonntags Zeitung

SCION is the first clean-slate Internet architecture designed to provide route control, failure isolation, and explicit trust information for end-to-end communications. SCION organizes existing ASes into groups of independent routing sub-planes, called isolation domains, which then interconnect to form complete routes. As a result, the SCION architecture provides strong resilience and security properties as an