ACSSA 2020

Special session on 

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

in the framework of

22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Timisoara, Romania
September 1 – 4, 2020


01 April 2020 : Proposals for workshops, special sessions, tutorials

20 July 2020 : Paper submission for workshops and special sessions (extended deadline)

10 August 2020 : Notification of acceptance

20 August 2020 : Registration and revised papers for pre-proceedings

01-04 September 2020 : Symposium

30 November 2020 : Final papers for post-proceedings

Short description

This special session focuses on the latest developments in computational, symbolic and secure algorithms for permissioned and permissionless blockchains. 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 algorithms with direct smart-contract applications to be used in blockchains, 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.

List of topics

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


  • Ciprian Pungilă, Faculty of Mathematics and Computer Science, West University of Timișoara
  • Ruxandra Olimid, Norwegian University of Science and Technology (Norway)