It is our pleasure to welcome you to The Second ACM Workshop on Blockchains, Cryptocurrencies, and Contracts (BCC'18), held in conjunction with The 13th ACM Asia Conference on Computer and Communications Security (AsiaCCS'18) during June 4-8, 2018, at Songdo, Incheon, Korea. Blockchain is an emerging technology currently being used for a variety of applications such as cryptocurrencies and other financial transactions, smart properties, credential management, Internet-of-Things, supply chain management and many more. The theme of this workshop is to understand the foundations of blockchain technology and the design of new blockchain applications using smart contracts.
The call for papers attracted 21 submissions from around the world. The program committee accepted 5 full papers and 2 works in progress based on their overall quality and novelty. Apart from the research papers, there is one keynote talk by Dr Yuen Tsz Hon. We are grateful to the keynote speaker for accepting our invitations and to the authors of all the papers for submitting their work to this workshop. We thank the members of the program committee and external reviewers for their valuable service in evaluating the submissions. We hope these proceedings will serve as a valuable reference for researchers and practitioners in the field of blockchain technologies.
Proceeding Downloads
TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake
We design and implement TwinsCoin, the first cryptocurrency based on a provably secure and scalable public blockchain design using both proof-of-work and proof-of-stake mechanisms. Different from the proof-of-work based Bitcoin, our construction uses ...
A Practical De-mixing Algorithm for Bitcoin Mixing Services
Bitcoin mixing services improve anonymity by breaking the connection between Bitcoin addresses. In the darkweb environment, many illegal trades, such as in drugs or child pornography, avoid their transactions being traced by exploiting mixing services. ...
Graphchain: a Blockchain-Free Scalable Decentralised Ledger
Blockchain-based replicated ledgers, pioneered in Bitcoin, are effective against double spending, but inherently attract centralised mining pools and incompressible transaction delays.
We propose a framework that forgoes blockchains, building a ...
Multi-mode Cryptocurrency Systems
In the past years, the security of Bitcoin-like protocols has been intensively studied. However, previous investigations are mainly focused on the single-mode version of Bitcoin protocol, where the protocol is running among full nodes (miners). In this ...
Research on the Security Criteria of Hash Functions in the Blockchain
The blockchain is an emerging technology. Because of its efficiency and functionality, it is widely considered to have revolutionary application prospects. As a supporting part of the data structure, the hash function is important for ensuring the ...
Proving Conditional Termination for Smart Contracts
Termination of smart contracts is crucial for any blockchain system's security and consistency, especially for those supporting Turing-complete smart contract languages. Resource-constrained blockchain systems, like Ethereum and Hyperledger Fabric, ...
Systematic Market Control of Cryptocurrency Inflations
Most cryptocurrency systems mint new coins according to a predetermined rate, which contributes to inflation instead of solely by the actual demand. On the other hand, the blockchain, or whatever distributed consensus protocol underlying the ...
Index Terms
- Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts