ACSSA 2021

Special session on 

Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains

in the framework of

SYNASC 2021
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Timisoara, Romania
7-10 December, 2021

Deadlines

  • 31 July 2021: Paper submission (extended deadline)
  • 30 September 2021: Notification of acceptance
  • 15 October 2021: Registration  
  • 15 October 2021: Revised papers according to the reviews
  • 7-10 December 2021: Workshop

Short description

This special session focuses on the latest developments in computational, symbolic and secure algorithms for permissioned and permissionless blockchain technologies. We encourage submissions pertaining to innovative consensus mechanisms for blockchains, symbolic computation and its application in smart-contracts for blockchains, new architectures as well as new computational approaches to enhancing performance, scalability and reliability in both permissionless and permissioned blockchains. This special session also welcomes submissions on symbolic and formal verification algorithms with direct smart-contract applications to be used in blockchain technology, as well as secure mechanisms and algorithms for enhancing the security of smart-contracts, alongside algorithms for improved data security and privacy in blockchain-alike architectures.

Paper submission

Papers of up to 8 pages prepared according to the CPS template must be submitted electronically using the submission system that will be later accessible through EasyChair.
Research papers must contain original research results not submitted and not published elsewhere. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics. 


List of topics

  • Security-focused algorithms in blockchain technology
  • Models for enhancing computational workloads in blockchain technology
  • Symbolic algorithms and computing with special applications to blockchain technology
  • Performance-driven algorithms for enhancing processing capabilities in blockchain technology
  • Innovative models of consensus mechanisms based on computational, symbolic and/or secure algorithms for blockchain processing

Chairs

  • Ciprian Pungilă, West University of Timișoara, Email: ciprian.pungila at e-uvt.ro 
  • Ruxandra Olimid, Norwegian University of Science and Technology (Norway)