中文
相关论文

相关论文: BitMLx: Secure Cross-chain Smart Contracts For Bit…

200 篇论文

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,…

编程语言 · 计算机科学 2021-10-19 Timothy Mou , Michael Coblenz , Jonathan Aldrich

Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has…

软件工程 · 计算机科学 2019-08-16 Chao Peng , Sefa Akca , Ajitha Rajan

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

计算机与社会 · 计算机科学 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent

Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way. The problem is magnified by the fact that…

密码学与安全 · 计算机科学 2019-11-07 Jialiang Chang , Bo Gao , Hao Xiao , Jun Sun , Yan Cai , Zijiang Yang

As blockchain technology continues to evolve, the security of smart contracts has increasingly drawn attention from both academia and industry. The Move language, with its unique resource model and linear type system, provides a solid…

密码学与安全 · 计算机科学 2026-02-03 Yuhe Luo , Zhongwen Li , Xiaoqi Li

Smart contracts are a key component of the Web 3.0 ecosystem, widely applied in blockchain services and decentralized applications. However, the automated execution feature of smart contracts makes them vulnerable to potential attacks due…

密码学与安全 · 计算机科学 2025-05-26 Yanli Jin , Chunpei Li , Peng Fan , Peng Liu , Xianxian Li , Chen Liu , Wangjie Qiu

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficiency and profitability but also in the aggregation of skills…

分布式、并行与集群计算 · 计算机科学 2022-05-16 Paolo Bottoni , Claudio Di Ciccio , Remo Pareschi , Nicola Gessa , Gilda Massa

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

Delegation of cryptographic signing rights has found many application in the literature and the real world. However, despite very advanced functionalities and specific use cases, existing solutions share the natural limitation that the…

密码学与安全 · 计算机科学 2022-10-07 Stephan Krenn , Thomas Lorünser

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…

量子物理 · 物理学 2020-07-22 Andrea Coladangelo , Or Sattath

Many studies have been done to improve the performance of centrally controlled business processes and enhance the integration between different parties of these collaborations. However, the most serious issues of collaborative business…

密码学与安全 · 计算机科学 2019-04-12 Vahid Pourheidari , Sara Rouhani , Ralph deters

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Multi-signature is a protocol where a set of signatures jointly sign a message so that the final signature is significantly shorter than concatenating individual signatures together. Recently, it finds applications in blockchain, where…

密码学与安全 · 计算机科学 2023-02-07 Shaoquan Jiang , Dima Alhadidi , Hamid Fazli Khojir

Sidechain technology has been envisioned as a promising solution to accelerate today's public blockchains in terms of scalability and interoperability. By relying on the mainchain for security, different sidechains can formulate their own…

密码学与安全 · 计算机科学 2019-11-19 Fangyu Gai , Cesar Grajales , Jianyu Niu , Mohammad Mussadiq Jalalzai , Chen Feng

With technological advances and the establishment of e-commerce models, business challenges have shifted to online platforms. The promise of embedding self-executing and autonomous programs into blockchain technologies has attracted…

计算机与社会 · 计算机科学 2022-08-03 Kamal Kishor Singh

Cross-chain bridges, the critical infrastructure of the multi-chain ecosystem, have become a primary target for attackers, resulting in over $2.8 billion in losses due to subtle implementation flaws. Existing defenses, such as…

密码学与安全 · 计算机科学 2026-04-28 Zijun Feng , Yuming Feng , Yu Wang , Weizhe Zhang , Yuhong Nan , Yuang Liu , Zibin Zheng

Ethereum smart contracts hold tens of billions of USD in DeFi and NFTs, yet comprehensive security analysis remains difficult due to unverified code, proxy-based architectures, and the reliance on manual inspection of complex execution…

密码学与安全 · 计算机科学 2025-09-04 Shuzheng Wang , Yue Huang , Zhuoer Xu , Yuming Huang , Jing Tang

Smart contracts are a new paradigm that emerged with the rise of the blockchain technology. They allow untrusting parties to arrange agreements. These agreements are encoded as a programming language code and deployed on a blockchain…

密码学与安全 · 计算机科学 2019-06-28 Juan Guarnizo , Pawel Szalachowski

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

密码学与安全 · 计算机科学 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich
‹ 上一页 1 8 9 10 下一页 ›