Diagnosis with Dynamic MSC Languages Benedikt Bollig1 and Stefan Haar and Lo¨ıc H´elou¨et2 1 LSV, ENS Cachan, CNRS, INRIA, France 2

Source URL: people.rennes.inria.fr

Formal Reasoning about Physical Properties of Security Protocols DAVID BASIN, SRDJAN CAPKUN, PATRICK SCHALLER, and BENEDIKT SCHMIDT ETH Zurich, Switzerland Traditional security protocols are mainly concerned with authen

Source URL: www.inf.ethz.ch

Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1

Source URL: eprint.iacr.org

IgorFs: A Distributed P2P File System Johanna Amann, Benedikt Elser, Yaser Houri, and Thomas Fuhrmann Computer Science Department Technical University of Munich Munich, Germany {ja|elser|houri|fuhrmann}@net.in.tum.de

Source URL: www.icir.org

Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges Gaby G. Dagher Benedikt Bünz

Source URL: users.encs.concordia.ca

Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1

Source URL: people.rennes.inria.fr

FLYCLIENT   SUPER LIGHT CLIENT FOR CRYPTOCURRENCIES Loi Luu, Benedikt Bünz, Mahdi Zamani

Source URL: stanford2017.scalingbitcoin.org

1 Proofs-of-delay and randomness beacons in Ethereum Benedikt B¨unz† , Steven Goldfeder∗ ,Joseph Bonneau† ∗ Princeton University, † Stanford University

Source URL: www.jbonneau.com

• Cryptography
• Cryptocurrencies
• Blockchains
• Cryptographic protocols
• Ethereum
• IP
• Zero-knowledge proof
• Non-interactive zero-knowledge proof
• Secure multi-party computation
• NP
• Smart contract
• Proof-of-work system

Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges Full Version∗ Gaby G. Dagher2 Benedikt B¨unz1

Source URL: eprint.iacr.org

Accepting the XBRL Challenge with Linked Data for Financial Data Integration Benedikt K¨ ampgen1 , Tobias Weller1 , Sean O’Riain2 , Craig Weber3 , and Andreas Harth1 1

Source URL: www.aifb.kit.edu