English
Related papers

Related papers: Smart Contracts for Machine-to-Machine Communicati…

200 papers

Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by the increasing complexity of power systems, decentralized IoT solutions are emerging, which arrange local…

Systems and Control · Computer Science 2019-02-05 Aron Laszka , Scott Eisele , Abhishek Dubey , Gabor Karsai , Karla Kvaternik

Blockchain was always associated with Bitcoin, cryptocurrencies, and digital asset trading. However, its benefits are far beyond that. It supports technologies like the Internet-of-Things (IoT) to pave the way for futuristic smart…

Cryptography and Security · Computer Science 2022-03-18 Maad Ebrahim , Abdelhakim Hafid , Etienne Elie

Smart Services using Industrial Internet of Things (IIoT) applications are on the rise, but still more often than not, traditional industrial protocols are used to interconnect the entities of the resulting systems. These protocols are…

Cryptography and Security · Computer Science 2018-09-25 Stefan Marksteiner

In recent years, there is an emerging trend that some computing services are moving from cloud to the edge of the networks. Compared to cloud computing, edge computing can provide services with faster response, lower expense, and more…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-30 Jinyue Song , Tianbo Gu , Yunjie Ge , Prasant Mohapatra

Ensuring security for highly dynamic peer-to-peer (P2P) networks has always been a challenge, especially for services like online transactions and smart devices. These networks experience high churn rates, making it difficult to maintain…

Cryptography and Security · Computer Science 2024-12-06 Saurav Ghosh , Reshmi Mitra , Indranil Roy , Bidyut Gupta

Mobile edge computing (MEC) and next-generation mobile networks are set to disrupt the way intelligent and autonomous systems are interconnected. This will have an effect on a wide range of domains, from the Internet of Things to autonomous…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-16 Jorge Peña Queralta , Tomi Westerlund

Many companies rely on Cloud infrastructures for their computation, communication and data storage requirements. While Cloud services provide some benefits, e.g., replacing high upfront costs for an IT infrastructure with a pay-as-you-go…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-13 Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

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

A blockchain framework is presented for addressing the privacy and security challenges associated with the Big Data in smart mobility. It is composed of individuals, companies, government and universities where all the participants collect,…

Computers and Society · Computer Science 2018-09-18 David Lopez , Bilal Farooq

IoT systems have enabled ubiquitous communication in physical spaces, making them smart Nowadays, there is an emerging concern about evaluating suspicious transactions in smart spaces. Suspicious transactions might have a logical structure,…

Cryptography and Security · Computer Science 2019-09-25 Mayra Samaniego , Cristian Espana , Ralph Deters

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

Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a smart contract is difficult, which complicates development,…

Software Engineering · Computer Science 2018-07-23 Florentin Guth , Valentin Wüstholz , Maria Christakis , Peter Müller

Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their…

Programming Languages · Computer Science 2021-09-10 Christian Bräm , Marco Eilers , Peter Müller , Robin Sierra , Alexander J. Summers

Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of…

Software Engineering · Computer Science 2018-09-25 Christian Berger , Birgit Penzenstadler , Olaf Drögehorn

Construction project governance relies on agreements between the actors along the construction industry value chain. The mutual obligations arising from these contracts rely on timely monetary transactions. Despite the advantages of…

A Service Level Agreement (SLA) is a commitment between a client and provider that assures the quality of service (QoS) a client can expect to receive when purchasing a service. However, evidence of SLA violations in Internet of Things…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-28 Adam Booth , Awatif Alqahtani , Ellis Solaiman

Digital healthcare systems have revolutionized medical services, facilitating provider collaboration, enhancing diagnosis, and optimizing and improving treatments. They deliver superior quality, faster, reliable, and cost-effective…

Cryptography and Security · Computer Science 2024-12-16 Md Al Amin , Hemanth Tummala , Rushabh Shah , Indrajit Ray

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these…

Cryptography and Security · Computer Science 2021-08-19 Leepakshi Bindra , Kalvin Eng , Omid Ardakanian , Eleni Stroulia

Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external contracts, leading to substantial monetary losses.…

Cryptography and Security · Computer Science 2024-07-04 Haojia Sun , Kunal Singh , Jan-Paul Ramos-Dávila , Jonathan Aldrich , Jenna DiVincenzo