中文
相关论文

相关论文: CLOAK: A Framework For Development of Confidential…

200 篇论文

With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There have been many cross-chain solutions proposed in recent years,…

密码学与安全 · 计算机科学 2021-03-26 Ying Lan , Jianbo Gao , Ke Wang , Jiashuo Zhang , Zhenhao Wu , Yuesheng Zhu , Zhong Chen

Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a…

编程语言 · 计算机科学 2020-11-24 Reed Oei , Michael Coblenz , Jonathan Aldrich

The concept of blockchain has emerged as an effective solution for data-sensitive domains, such as healthcare, financial services, etc., due to its various attributes like immutability, non-repudiation, and availability. Thus,…

分布式、并行与集群计算 · 计算机科学 2022-02-16 Shashank Joshi , Arhan Choudhury , Ojas Saraswat

Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous…

密码学与安全 · 计算机科学 2022-09-14 Peng Qian , Zhenguang Liu , Qinming He , Butian Huang , Duanzheng Tian , Xun Wang

Security and privacy in Direct Load Control (DLC) is a fundamental challenge in smart grids. In this paper, we propose a blockchain-based framework to increase security and privacy of DLC. We propose a method whereby participating nodes…

密码学与安全 · 计算机科学 2018-12-21 Ali Dorri , Fengji Luo , Salil S Kanhere , Raja Jurdak , Zhao Yang Dong

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

分布式、并行与集群计算 · 计算机科学 2022-07-07 Tobias Eichinger , Marcel Ebermann

Research in blockchain systems has mainly focused on improving security and bridging the performance gaps between blockchains and databases. Despite many promising results, we observe a worrying trend that the blockchain landscape is…

数据库 · 计算机科学 2019-10-23 Tien Tuan Anh Dinh , Anwitaman Datta , Beng Chin Ooi

Blockchain has received expanding interest from various domains. Institutions, enterprises, governments, and agencies are interested in Blockchain potential to augment their software systems. The unique requirements and characteristics of…

软件工程 · 计算机科学 2021-12-15 Mahdi Fahmideh , Anuradha Gunawardana , Shiping Chen , Jun Shen , Brian Yecies

We present models for utilizing blockchain and smart contract technology with the widely used OAuth 2.0 open authorization framework to provide delegated authorization for constrained IoT devices. The models involve different tradeoffs in…

密码学与安全 · 计算机科学 2019-05-07 Vasilios A. Siris , Dimitrios Dimopoulos , Nikos Fotiou , Spyros Voulgaris , George C. Polyzos

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

软件工程 · 计算机科学 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

Searching for available parking spaces is a major problem for drivers especially in big crowded cities, causing traffic congestion and air pollution, and wasting drivers' time. Smart parking systems are a novel solution to enable drivers to…

密码学与安全 · 计算机科学 2021-01-28 Wesam Al Amiri , Mohamed Baza , Karim Banawan , Mohamed Mahmoud , Waleed Alasmary , Kemal Akkaya

The emerging blockchain technology has enabled various decentralised applications in a trustless environment without relying on a trusted intermediary. It is expected as a promising solution to tackle sophisticated challenges on personal…

分布式、并行与集群计算 · 计算机科学 2019-08-29 Nguyen Truong , Kai Sun , Yike Guo

This article conducts an extensive examination of the persisting challenges related to smart contract attacks within blockchain networks, with a particular focus on the reentrancy attack. It emphasizes the inherent vulnerabilities embedded…

社会与信息网络 · 计算机科学 2023-10-05 Simone Casale-Brunet , Marco Mattavelli

Large language models (LLMs) excel at generating code from natural language instructions, yet they often lack an understanding of security vulnerabilities. This limitation makes it difficult for LLMs to avoid security risks in generated…

密码学与安全 · 计算机科学 2025-05-08 Lingxiang Wang , Hainan Zhang , Qinnan Zhang , Ziwei Wang , Hongwei Zheng , Jin Dong , Zhiming Zheng

The use of blockchains is growing every day, and their utility has greatly expanded from sending and receiving crypto-coins to smart-contracts and decentralized autonomous organizations. Modern blockchains underpin a variety of…

密码学与安全 · 计算机科学 2018-06-19 Tooba Faisal , Nicolas Courtois , Antoaneta Serguieva

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

软件工程 · 计算机科学 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

计算机与社会 · 计算机科学 2024-10-29 Fatjon Seraj

Blockchain has been proposed to facilitate the enactment of interorganisational business processes. For such processes, blockchain can guarantee the enforcement of rules and the integrity of execution traces - without the need for a…

软件工程 · 计算机科学 2022-11-15 Fabian Stiehle , Ingo Weber

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…

密码学与安全 · 计算机科学 2024-12-06 Saurav Ghosh , Reshmi Mitra , Indranil Roy , Bidyut Gupta

Blockchain technology is an interlinked systematic chain of blocks that contains transaction history and other user data. It works under the principle of decentralized distributed digital ledger. This technology enables cryptographically…

密码学与安全 · 计算机科学 2020-12-25 AKM Bahalul Haque , Mahbubur Rahman