Categories |
BLOCKCHAIN
SECURITY
SOFTWARE ENGINEERING
|
About |
|
Smart contracts are versatile instruments that can not only facilitate and verify transactions in financial services, but also track the movement of physical goods and intellectual property. Security and correctness are essential for smart contract technology, because contracts possess the authority to allocate high-value resources between complex systems and are, for the most part, autonomous. Smart contracts have been the targets of widely publicized attacks, some successful in inflicting considerable financial damage. The workshop will include an invited talk from a prominent smart contract practitioner or security researcher. |
Call for Papers |
|
This workshop is broadly focused, and considers all approaches to analyzing smart contracts, static and dynamic. It covers, but is not limited to:
The workshop aims to bring researchers and practitioners together and will promote open and reproducible research. Papers improving existing tools or proposing new ones are encouraged. |
Summary |
|
WoSCA 2020 : 1st International Workshop on Smart Contract Analysis will take place in Los Angeles, California, United States. It’s a 5 days event starting on Jul 18, 2020 (Saturday) and will be winded up on Jul 22, 2020 (Wednesday). WoSCA 2020 falls under the following areas: BLOCKCHAIN, SECURITY, SOFTWARE ENGINEERING, etc. Submissions for this Workshop can be made by May 22, 2020. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the WoSCA 2020
|
Credits and Sources |
| [1] WoSCA 2020 : 1st International Workshop on Smart Contract Analysis |
