posted by user: montyly || 4357 views || tracked by 7 users: [display]

WoSCA 2021 : WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis

FacebookTwitterLinkedInGoogle

Link: https://trailofbits.github.io/WoSCA/
 
When Jul 12, 2021 - Jul 16, 2021
Where Aarhus, Denmark
Submission Deadline May 14, 2021
Notification Due May 28, 2021
Final Version Due Jun 6, 2021
Categories    blockchain   security   software engineering   formal methods
 

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.

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)
- Application-specific analysis (e.g. DeFi modeling)

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.

The workshop will be co-located with ISSTA 2021.

# IMPORTANT DATES
- May 14: Paper submission deadline
- May 28: Paper notification
- June 6: Camera-ready due

# 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.

All authors should use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages ( https://www.acm.org/publications/proceedings-template ). Latex users should use the “sigconf” option as well as “review” (to produce line numbers for easy reference by the reviewers). To that end, the following latex code can be placed at the start of the latex document:

\documentclass[sigconf,review]{acmart}

** 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.

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

Related Resources

CNFSEM 2024   Complex networks for Smart environments management
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
IEEE DAPPS 2024   IEEE International Conference on Decentralized Applications and Infrastructures
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ISEEIE 2024   2024 4th International Symposium on Electrical, Electronics and Information Engineering (ISEEIE 2024)
ICoSR 2024   2024 3rd International Conference on Service Robotics
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CCESG 2024   2024 International Joint Conference on Clean Energy and Smart Grid (CCESG 2024)