English
Related papers

Related papers: An Open Source Solution for Smart Contract-based P…

200 papers

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

Software Engineering · Computer Science 2023-04-12 Simona Ramos , Morshed Mannan

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

Cryptography and Security · Computer Science 2019-03-13 Theodosis Mourouzis , Jayant Tandon

All over the world, especially in the university environment, planning managers and traffic engineers are constantly faced with the problem of inadequate allocation of car parking spaces to demanded users. Users could either prefer reserved…

Computational Engineering, Finance, and Science · Computer Science 2024-03-27 Luke Oluwaseye Joel , Sawyerr A. Babatunde , Adewumi O. Aderemi

We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined in their corresponding e-contracts. By confirming alignment…

Software Engineering · Computer Science 2025-04-29 Sangharatna Godboley , P. Radha Krishna , Sunkara Sri Harika , Pooja Varnam

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

Software Engineering · Computer Science 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Urban traffic congestion, exacerbated by inefficient parking management and cruising for parking, significantly hampers mobility and sustainability in smart cities. Drivers often face delays searching for parking spaces, influenced by…

Most modern electronic devices can produce a random number. However, it is difficult to see how a group of mutually distrusting entities can have confidence in any such hardware-produced stream of random numbers, since the producer could…

Cryptography and Security · Computer Science 2019-06-27 Peter Mell , John Kelsey , James Shook

In recent times, the research works relating to smart traffic infrastructure have gained serious attention. As a result, research has been carried out in multiple directions to ensure that such infrastructure can improve upon our existing…

Cryptography and Security · Computer Science 2023-09-28 Anubhab Baksi , Ahmed Ibrahim Samir Khalil , Anupam Chattopadhyay

Today, container-based virtualization is very popular due to the lightweight nature of containers and the ability to use them flexibly in various heterogeneously composed systems. This makes it possible to collaboratively develop services…

Cryptography and Security · Computer Science 2019-02-19 Sandi Gec , Dejan Lavbič , Marko Bajec , Vlado Stankovski

Smart city is one of the most known Internet of Things (IoT) applications. The smart city services improve user's daily lives. However, security and privacy issues are slowing down their adoption. In addition, the characteristics of IoT…

Cryptography and Security · Computer Science 2020-03-05 Tidiane Sylla , Mohamed Aymen Chalouf , Francine Krief , Karim Samaké

Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms…

Computers and Society · Computer Science 2024-01-24 Eduardo Felipe Zambom Santana , Ana Paula Chaves , Marco Aurelio Gerosa , Fabio Kon , Dejan Milojicic

Smart cities often rely on technological innovation to improve citizens' safety and quality of life. This paper presents a novel smart mobility system that aims to facilitate people accessing public mobility while preserving their privacy.…

Software Engineering · Computer Science 2021-11-22 Stefano Righini , Luca Calderoni , Dario Maio

In this paper, the parking problem of a swarm of mobile robots has been studied. The robots are deployed at the nodes of an infinite grid, which has a subset of prefixed nodes marked as parking nodes. Each parking node p_i has a capacity of…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-17 Abhinav Chakraborty , Krishnendu Mukhopadhyaya

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

Cryptography and Security · Computer Science 2025-10-24 To-Wen Liu , Matthew Green

The explosion of advancements in artificial intelligence, sensor technologies, and wireless communication activates ubiquitous sensing through distributed sensors. These sensors are various domains of networks that lead us to smart systems…

Machine Learning · Computer Science 2021-09-14 Farid Ghareh Mohammadi , Farzan Shenavarmasouleh , M. Hadi Amini , Hamid R. Arabnia

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-12 Martin Westerkamp

The advent of on-demand mobility systems is expected to have a tremendous potential on the wellness of transportation users in cities. Yet such positive effects are reached when the systems under consideration enable seamless integration…

Computers and Society · Computer Science 2020-07-28 Claudio Gambella , Julien Monteil , Anton Dekusar , Sergio Cabrero Barros , Andrea Simonetto , Yassine Lassoued

The proposed smart contract can prevent seven cyber attacks, such as Denial of Service (DoS), Man in the Middle Attack (MITM), Distributed Denial of Service (DDoS), 51\%, Injection attacks, Routing Attack, and Eclipse attack. The Delegated…

Cryptography and Security · Computer Science 2022-07-20 Amrutanshu Panigrahi , Ajit Kumar Nayak , Rourab Paul

Smart cities are growing significantly due to the growth of smart connected vehicles and Internet of Things (IoT) where a wide range of devices are connected to share data. Online mapping is one of the fundamental services offered in smart…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-20 Fatemeh MohammadZadeh , Seyed Ali Mirghasemi , Ali Dorri , HamidReza Ahmadifar