@article{3a073421f5ec46398c5a95f91a8252a0,
title = "Preface: WAHC 2017: 5th workshop on encrypted computing and applied homomorphic cryptography",
author = "Michael Brenner and Kurt Rohloff",
note = "Funding Information: WTSC 2017 aimed to address the scientific foundations of Trusted Smart Contract engineering, i.e., the development of contracts that enjoy some verifiable “correctness” properties, and to discuss open problems, proposed solutions, and the vision on future developments among a research community that is growing around these themes and brings together users, practitioners, industry, institutions, and academia. This was reflected in the Program Committee of this first edition of WTSC, comprising members from companies, universities, and research institutions from 11 countries worldwide, who kindly accepted to support the event. The association with FC 2017 provided an ideal context for our workshop to be run in. WTSC 2017 was partially supported by the University of Stirling, UK, the University of Trento, Italy, and FC 2017 IFCA-ICRA. This first edition of WTSC 2017 received 19 submissions by about 50 authors, of which nine were accepted after peer review as full papers and three as posters, and have been collected in the present volume. These analyzed the current state of the art, addressed aspects of privacy, models for contract composition and concurrency, incentives and penalties, taxonomies of smart contract applications, legal implications of smart contracts, theorem-proving-based verification for smart contracts, decentralized markets, and smart-contract-based consensus protocols.; 21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017 ; Conference date: 07-04-2017 Through 07-04-2017",
year = "2017",
language = "English (US)",
volume = "10323 LNCS",
pages = "V",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer Science and Business Media Deutschland GmbH",
}