English
Related papers

Related papers: Smart Contract SLAs for Dense Small-Cell-as-a-Serv…

200 papers

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

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 2019-07-04 Andrea Coladangelo

Temporary work is an employment situation useful and suitable in all occasions in which business needs to adjust more easily and quickly to workload fluctuations or maintain staffing flexibility. Temporary workers play therefore an…

Computers and Society · Computer Science 2017-11-28 Andrea Pinna , Simona Ibba

The confluence of Internet of Things(IoT) , Blockchain(BC) and Artificial Intelligence(AI) acts as a key accelerator for enabling Machine Economy. To be ready for future businesses these technologies needs to be adapted by extending the IoT…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-02 Misha Abraham , Himajit Aithal , Krishnan Mohan

Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is…

As a technology foundation of cryptocurrencies, blockchain enables decentralized peer-to-peer trading through consensus mechanisms without the involvement of a third party. Blockchain has been regarded as an auspicious technology for future…

Networking and Internet Architecture · Computer Science 2019-06-18 Ahmed Refaey , Karim Hammad , Sebastian Magierowski , Ekram Hossain

Smart contracts on a blockchain behave precisely as specified by their code. A vulnerability in this code can lead to unexpected behaviour, which is hard to fix because a blockchain does not allow to change smart contract code after its…

Programming Languages · Computer Science 2019-11-27 Markus Knecht

Data privacy refers to ensuring that users keep control over access to information, whereas data accessibility refers to ensuring that information access is unconstrained. Conflicts between privacy and accessibility of data are natural to…

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

Cryptography and Security · Computer Science 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but…

Cryptography and Security · Computer Science 2020-01-07 Shingo Fujimoto , Yoshiki Higashikado , Takuma Takeuchi

Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

Software Engineering · Computer Science 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

Smart contracts are essential for managing digital assets in blockchain networks, highlighting the need for effective security measures. This paper introduces SmartLLMSentry, a novel framework that leverages large language models (LLMs),…

Cryptography and Security · Computer Science 2024-12-02 Oualid Zaazaa , Hanan El Bakkali

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to…

Ethereum Smart Contracts based on Blockchain Technology (BT)enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum smart contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2021-05-17 Noama Fatima Samreen , Manar H. Alalfi

Blockchain is an innovative distributed ledger technology which has attracted a wide range of interests for building the next generation of applications to address lack-of-trust issues in business. Blockchain as a service (BaaS) is a…

Software Engineering · Computer Science 2020-10-27 Qinghua Lu , Xiwei Xu , Yue Liu , Ingo Weber , Liming Zhu , Weishan Zhang

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

Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transactions on the blockchain. A broad range of methods has been…

Logic in Computer Science · Computer Science 2023-07-11 Norine Coenen , Bernd Finkbeiner , Jana Hofmann , Julia Tillman

Blockchain technologies are one possible avenue for increasing the resilience of the Smart Grid, by decentralizing the monitoring and control of system-level objectives such as voltage stability protection. They furthermore offer benefits…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-29 Kimia Honari , Xiaotian Zhou , Sara Rouhani , Scott Dick , Hao Liang , James Miller Li , James Miller

With the Internet of Things (IoT), Things are expected to live in different "domains" and "contexts" during their lifetime. Information generated by and associated with Things should be manageable by multiple, diverse stakeholders…

Computers and Society · Computer Science 2019-01-31 Nikos Fotiou , George C. Polyzos

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

Cryptography and Security · Computer Science 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li
‹ Prev 1 4 5 6 7 8 10 Next ›