SSR 2015: Tokyo, Japan

Bitcoin and Payment

Protocol and API

Analysis on Cryptographic Algorithm

Privacy

Trust and Formal Analysis

maintained by Schloss Dagstuhl LZI at University of Trier