The 3rd International Workshop on Blockchains and Smart Contracts

BSC 2020


Computer Security & Cryptography Security & Trust & Testing



Following the success of its previous edition, we are pleased to announce the 3rd International Workshop on Blockchains and Smart Contracts (BSC 2020), which will be held in conjunction with the 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2020). More information about the workshop can be found at http://www.ntms-conf.org/ntms2020/call-for-workshops/bsc2020
The workshop is supported by IFIP TC6 WG6.2 and IEEE France.
Accepted and presented papers will be published in the conference proceedings and submitted to IEEE Xplore®, IFIP Digital Library as well as other Abstracting and Indexing (A&I) databases. The workshop is also collaborating this year with International Journal of Forensic Software Engineering.
Possible topics of interest include, but are not limited to:
· Cryptographic algorithms and protocols
· Distributed consensus algorithms
· Peer-to- peer communication protocols
· Architecture, scalability, governance and interoperability
· Smart contracts and workflow automation
· Validation of smart contracts using formal methods
· Decentralized autonomous organization (DAO)
· Data privacy, anonymity and confidentiality
· Data analytics and fraud detection
· Cryptocurrencies, markets and finance
· Crypto economics, incentives and gamification
· ICO and cryptocurrencies, token valuation, governance and voting
· Blockchain use cases such as:
o Blockchain in IoT and cyber physical systems
o Blockchain in Smart grids and Industry 4.0
o Blockchain in Networking, Edge and Cloud Technologies
o Blockchain in 5G Technologies, Telecom Process and Operation
o Blockchain in Supply chain management
o Blockchain in Intelligent Transportation Systems (ITS)
o Blockchain in Cyber Physical Systems (CPS)
· Regulatory and standards frameworks
· Security, privacy and trust of blockchain
· Testing and monitoring techniques for blockchain
· Simulation and performance evaluation techniques
· Formal Testing / Verification
PAPER SUBMISSION
Papers are to be submitted electronically on the EDAS web site of the conference in PDF format: https://edas.info/newPaper.php?c=27121
Submissions should be original and limited to 5 double-column pages and should follow IEEE paper templates. Paper with more pages can be accepted however they need to be reduced to 5 pages for publication.
IMPORTANT DATES
· Submission Deadline: March 20th, 2020
· Acceptance notification: May 1st, 2020
· Papers camera-ready: June 8th, 2020
· Workshop date: 6 to 8 July 2020