SSR 2015: Tokyo, Japan

Bitcoin and Payment

Protocol and API

Analysis on Cryptographic Algorithm

Privacy

Trust and Formal Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics