posted by user: montyly || 4720 views || tracked by 3 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 Jun 26, 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.

SHORT PAPER OPTION
In addition to full 8 page papers, we also will accept New Ideas papers for promising ideas that might not have the experimental validation expected in a full paper. These papers will receive the same presentation and discussion time as full papers, in order to focus the workshop on novel, but relatively unexplored, ideas. To submit a new ideas paper, simply submit a paper of 4 or fewer pages

The firm deadline for all submissions is JUNE 26, 2020.

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

Related Resources

EI-ISEEIE 2023   2023 International Symposium on Electrical, Electronics and Information Engineering(ISEEIE 2023)
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
CDKP 2023   12th International Conference on Data Mining & Knowledge Management Process
ISSTA 2023   The ACM SIGSOFT International Symposium on Software Testing and Analysis (First Round)
SoCAV 2023   2023 International Symposium on Connected and Autonomous Vehicles (SoCAV 2023)
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
CBW 2023   4th International Conference on Cloud, Big Data and Web Services
EI-CSCSG 2022   2022 International Conference on Smart Cities and Smart Grid (CSCSG 2022)
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems