English
Related papers

Related papers: SmartShift: A Secure and Efficient Approach to Sma…

200 papers

As the significance of blockchain innovation grows and the focus on scalability intensifies, rollup technology has emerged as a promising approach to tackle these scalability concerns. Nonetheless, rollups encounter restrictions when…

Cryptography and Security · Computer Science 2023-06-01 Hyun Jeong , Hyemin Lee

The application of renewable energy sources in the power grid increases the necessity of tracking the system's state, especially in smart grids, where there is a bidirectional transfer of data and power. The complexity of coupling between…

Systems and Control · Electrical Eng. & Systems 2021-06-24 Sajjad Asefi , Yash Madhwal , Yury Yanovich , Elena Gryazina

We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows…

Quantum Physics · Physics 2020-07-22 Andrea Coladangelo , Or Sattath

Sensitive records stored in the cloud such as healthcare records, private conversation and credit card information are targets of hackers and privacy abuse. Current information and record management systems have difficulties achieving…

Cryptography and Security · Computer Science 2020-04-07 Muhammed Siraj , Mohd. Izuan Hafez Hj. Ninggal , Nur Izura Udzir , Muhammad Daniel Hafiz Abdullah , Aziah Asmawi

Interconnected smart vehicles offer a range of sophisticated services that benefit the vehicle owners, transport authorities, car manufacturers and other service providers. This potentially exposes smart vehicles to a range of security and…

Cryptography and Security · Computer Science 2020-06-25 Ali Dorri , Marco Steger , Salil S. Kanhere , Raja Jurdak

Smart manufacturing systems involve a large number of interconnected devices resulting in massive data generation. Cloud computing technology has recently gained increasing attention in smart manufacturing systems for facilitating…

Cryptography and Security · Computer Science 2023-04-27 Aditya Pribadi Kalapaaking , Ibrahim Khalil , Mohammad Saidur Rahman , Abdelaziz Bouras

Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high…

Programming Languages · Computer Science 2022-02-23 Jacco O. G. Krijnen , Manuel M. T. Chakravarty , Gabriele Keller , Wouter Swierstra

The traditional oil supply chain suffers from various shortcomings regarding crude oil extraction, processing, distribution, environmental pollution, and traceability. It offers an only a forward flow of products with almost no security and…

Cryptography and Security · Computer Science 2021-05-13 AKM Bahalul Haque , Md. Rifat Hasan , Md. Oahiduzzaman Mondol Zihad

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

Computers and Society · Computer Science 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu

The adoption of Information Communication Technologies (ICT) and Web 3.0 contributes to the e-government sector by transforming how public administrations provide advanced and innovative services to interact with citizens. Blockchain (BC)…

Computers and Society · Computer Science 2019-10-15 Sofia Terzi , Konstantinos Votis , Dimitrios Tzovaras , Ioannis Stamelos , Kelly Cooper

The knowledge, embodied in machine learning models for intelligent systems, is commonly associated with time-consuming and costly processes such as large-scale data collection, data labelling, network training, and fine-tuning of models.…

Artificial Intelligence · Computer Science 2022-04-12 Amin Anjomshoaa , Edward Curry

Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure…

Software Engineering · Computer Science 2019-08-13 Haoran Wu , Xingya Wang , Jiehui Xu , Weiqin Zou , Lingming Zhang , Zhenyu Chen

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

Computational Engineering, Finance, and Science · Computer Science 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

Cryptography and Security · Computer Science 2026-01-14 Nicholas J. C. Papadopoulos

The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge…

Programming Languages · Computer Science 2021-03-04 Shaokai Lin , Xinyuan Sun , Jianan Yao , Ronghui Gu

UTXO-based smart contract platforms face an efficiency bottleneck, in that any transaction sent to a contract must specify the entire updated contract state. This requirement becomes particularly burdensome when the contract state contains…

Cryptography and Security · Computer Science 2026-02-03 Massimo Bartoletti , Riccardo Marchesin , Roberto Zunino

Blockchain technology has enjoyed a massive adoption in cryptocurrencies such as Bitcoin. Following the success, many people have started to explore the possibility of implementing blockchain technology in different fields. We propose smart…

Computers and Society · Computer Science 2018-12-12 Dimaz Ankaa Wijaya , Fengkie Junis , Dony Ariadi Suwarsono

Despite being popularly referred to as the ultimate solution for all problems of our current electric power system, smart grid is still a growing and unstable concept. It is usually considered as a set of advanced features powered by…

Computers and Society · Computer Science 2017-03-08 The-Hien Dang-Ha , Roland Olsson , Hao Wang

Live migration of services is a prerequisite for various use cases that must be fulfilled for the realization of Industry 4.0. In addition, many different types of services need to provide mobility and consequently need to be migrated live.…

Networking and Internet Architecture · Computer Science 2022-03-25 Michael Gundall , Julius Stegmann , Mike Reichardt , Hans D. Schotten

Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers,…

Programming Languages · Computer Science 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich