中文
相关论文

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

200 篇论文

Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts. While the original prototype implementation of zkay (v0.1) demonstrates the feasibility of the approach, its proof-of-concept implementation…

编程语言 · 计算机科学 2020-09-10 Nick Baumann , Samuel Steffen , Benjamin Bichsel , Petar Tsankov , Martin Vechev

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

编程语言 · 计算机科学 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

Crowdfunding platforms face high transaction fees, need for more transparency, and trust deficits. These issues deter contributors and entrepreneurs from effectively leveraging crowdfunding for innovation and growth. Blockchain technology…

计算工程、金融与科学 · 计算机科学 2025-01-22 Mustafa Savas Unsal

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

分布式、并行与集群计算 · 计算机科学 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, action dependencies, and time. Instead, these concepts are…

New technologies, such as blockchain, are designed to address various system weaknesses, particularly those related to security. Blockchain can enhance numerous aspects of traditional banking systems by transforming them into digital,…

密码学与安全 · 计算机科学 2026-03-24 Shkelqim Sherifi

Recommender systems have been widely used in different application domains including energy-preservation, e-commerce, healthcare, social media, etc. Such applications require the analysis and mining of massive amounts of various types of…

Blockchain has been touted as a revolutionary technology. However, despite the excitement, blockchain has not been adopted in many fields. Many are hesitant to adopt blockchain technology due to privacy concerns, barriers to use, or lack of…

计算机与社会 · 计算机科学 2023-01-02 Collin Connors , Dilip Sarkar

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

密码学与安全 · 计算机科学 2023-07-03 Sundas Munir , Walid Taha

With the rapid development of blockchain technology, smart contract security has become a critical challenge. Existing smart contract vulnerability detection methods face three main issues: (1) Insufficient quality of datasets, lacking…

密码学与安全 · 计算机科学 2024-11-12 Lei Yu , Shiqi Chen , Hang Yuan , Peng Wang , Zhirong Huang , Jingyuan Zhang , Chenjie Shen , Fengjun Zhang , Li Yang , Jiajia Ma

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and…

计算机与社会 · 计算机科学 2016-12-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Since it takes time and effort to put a new product or service on the market, one would like to predict whether it will be a success. In general this is not possible, but it is possible to follow best practices in order to maximise the…

软件工程 · 计算机科学 2019-09-02 Pieter Hartel , Ivan Homoliak , Daniël Reijsbergen

Large language models (LLMs) have been widely adopted in modern software development lifecycles, where they are increasingly used to automate and assist code generation, significantly improving developer productivity and reducing…

密码学与安全 · 计算机科学 2026-02-05 Hoang Long Do , Nasrin Sohrabi , Muneeb Ul Hassan

Ensuring ballot secrecy is critical for fair and trustworthy electronic voting systems, yet achieving strong secrecy guarantees in decentralized, large-scale elections remains challenging. This paper proposes the concept of collectively…

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

软件工程 · 计算机科学 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

Currently, there is no universal method to track who shared what, with whom, when and for what purposes in a verifiable way to create an individual incentive for data owners. A platform that allows data owners to control, delete, and get…

密码学与安全 · 计算机科学 2025-10-29 Ajay Kumar Shrestha , Julita Vassileva

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…

计算工程、金融与科学 · 计算机科学 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Supply chain applications operate in a multi-stakeholder setting, demanding trust, provenance, and transparency. Blockchain technology provides mechanisms to establish a decentralized infrastructure involving multiple stakeholders. Such…

密码学与安全 · 计算机科学 2021-08-30 Gowri Sankar Ramachandran , Sidra Malik , Shantanu Pal , Ali Dorri , Volkan Dedeoglu , Salil Kanhere , Raja Jurdak

Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public…

分布式、并行与集群计算 · 计算机科学 2021-07-13 Nikolay Ivanov , Qiben Yan , Qingyang Wang

Recent years have witnessed an increasing interest in the blockchain technology, and many blockchain-based applications have been developed to take advantage of its decentralization, transparency, fault tolerance, and strong security. In…

密码学与安全 · 计算机科学 2021-09-30 Yihao Guo , Zhiguo Wan , Xiuzhen Cheng