Abstract is missing.
- Ethereum Query LanguageSantiago Bragagnolo, Henrique Rocha, Marcus Denker, Stéphane Ducasse. 1-8 [doi]
- SmartCheck: Static Analysis of Ethereum Smart ContractsSergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov. 9-16 [doi]
- NECTAR: Non-Interactive Smart Contract Protocol Using Blockchain TechnologyAlexandra Covaci, Simone Madeo, Patrick Motylinski, Stéphane Vincent. 17-24 [doi]
- Evaluating Complexity and Digitizability of Regulations and Contracts for a Blockchain Application DesignPradeepkumar D. S, Kapil Singi, Vikrant Kaulgud, Sanjay Podder. 25-29 [doi]
- SHARVOT: Secret SHARe-Based VOTing on the BlockchainSilvia Bartolucci, Pauline Bernat, Daniel Joseph. 30-34 [doi]
- Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart ContractsPéter Hegedüs. 35-39 [doi]
- ReviewChain: Untampered Product Reviews on the BlockchainDaniel Martens, Walid Maalej. 40-43 [doi]
- How Much Blockchain Do You Need? Towards a Concept for Building Hybrid DApp ArchitecturesFlorian Wessling, Christopher Ehmke, Marc Hesenius, Volker Gruhn. 44-47 [doi]
- Proof-of-Property - A Lightweight and Scalable Blockchain ProtocolChristopher Ehmke, Florian Wessling, Christoph M. Friedrich. 48-51 [doi]
- Preliminary Steps Towards Modeling Blockchain Oriented SoftwareHenrique Rocha, Stéphane Ducasse. 52-57 [doi]