posted by user: montyly || 2189 views || tracked by 1 users: [display]

WoSCA 2020 : 1st International Workshop on Smart Contract Analysis

FacebookTwitterLinkedInGoogle

Link: https://conf.researchr.org/track/issta-2020/issta-2020-wosca
 
When Jul 18, 2020 - Jul 22, 2020
Where Los Angeles, California, United States
Submission Deadline May 22, 2020
Categories    blockchain   security   software engineering
 

Call For Papers

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.

This workshop is broadly focused, and considers all approaches to analyzing smart contracts, static and dynamic. It covers, but is not limited to:

- Analysis-based vulnerability discovery (e.g. heuristics-based static analysis, fuzzing)
- Sound analysis (e.g. model checking, temporal logic)
- Code optimization (e.g. code-size reduction, gas-cost estimation)
- Code understanding (e.g. decompilation, reverse engineering)
- Code monitoring (e.g. debugging, fault detection)
- Intermediate representation (e.g. design, specification)

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.
Submission Information

Papers should be submitted in ACM Conference format, and are limited to 8 pages, including references. Papers can be submitted via EasyChair. Submission is not blinded. We particularly welcome papers focused on practical, open source tools for contract analysis.

The firm deadline for all submissions is FRIDAY, MAY 22, 2020.

More details can be found at: https://trailofbits.github.io/WoSCA/

Related Resources

AVC 2020   Advances in Vision Computing: An International Journal
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
MAAIDL 2020   Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
ISSRE 2020   The 31st International Symposium on Software Reliability Engineering
EI-ICoTSC 2020   2020 International Conference on Transport and Smart Cities (ICoTSC 2020)
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
IEEE CIIoT 2020   IEEE Symposium on Computational Intelligence in IoT and Smart Cities
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus