English
Related papers

Related papers: Certifying Findel Derivatives for Blockchain

200 papers

The introduction of smart contract functionality marks the advent of the blockchain 2.0 era, enabling blockchain technology to support digital currency transactions and complex distributed applications. However, many smart contracts have…

Cryptography and Security · Computer Science 2026-01-16 Hongli Peng , Xiaoqi Li , Wenkai Li

The trade-off of secrecy is the difficulty of verification. This trade-off means that contracts must be kept private, yet their compliance needs to be verified, which we call the secrecy-verifiability paradox. However, the existing smart…

Cryptography and Security · Computer Science 2022-12-06 Ha-Thanh Nguyen

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

Cryptography and Security · Computer Science 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables…

Cryptography and Security · Computer Science 2018-07-06 TonTon Hsien-De Huang

To achieve lightweight selective disclosure for protecting privacy of document holders, we propose an XML format for documents that can hide arbitrary elements using a cryptographic hash function and salts, which allows to be partially…

Cryptography and Security · Computer Science 2021-10-12 Kenji Saito , Satoki Watanabe

We develop several innovations to bring the best practices of traditional investment funds to the blockchain landscape. Specifically, we illustrate how: 1) fund prices can be updated regularly like mutual funds; 2) performance fees can be…

Cryptography and Security · Computer Science 2024-07-30 Ravi Kashyap

The inherent determinism of blockchain technology poses a significant challenge to generating secure random numbers within smart contracts, leading to exploitable vulnerabilities, particularly in decentralized finance (DeFi) ecosystems and…

Cryptography and Security · Computer Science 2025-10-22 Hadis Rezaei , Ahmed Afif Monrat , Karl Andersson , Francesco Flammini

This paper systematically reviews advancements in deep learning (DL) techniques for financial fraud detection, a critical issue in the financial sector. Using the Kitchenham systematic literature review approach, 57 studies published…

Machine Learning · Computer Science 2025-07-31 Yisong Chen , Chuqing Zhao , Yixin Xu , Chuanhao Nie , Yixin Zhang

Blockchains are tamper evident and tamper resistant digital ledgers implemented in a distributed fashion (i.e., without a central repository) and usually without a central authority (i.e., a bank, company, or government). At their basic…

Cryptography and Security · Computer Science 2019-06-27 Dylan Yaga , Peter Mell , Nik Roby , Karen Scarfone

Blockchain is a disruptive technology intended at implementing secure decentralized distributed systems, in which transactional data can be shared, stored and verified by participants of a system using cryptographic and consensus…

Software Engineering · Computer Science 2019-03-11 Sabreen Ahmadjee , Rami Bahsoon

Blockchain, as a distributed ledger technology, becomes increasingly popular, especially for enabling valuable cryptocurrencies and smart contracts. However, the blockchain software systems inevitably have many bugs. Although bugs in smart…

Cryptography and Security · Computer Science 2023-02-22 Xiao Yi , Daoyuan Wu , Lingxiao Jiang , Yuzhou Fang , Kehuan Zhang , Wei Zhang

Blockchain has received a widespread attention because of its decentralized, tamper-proof, and transparent nature. Blockchain works over the principle of distributed, secured, and shared ledger, which is used to record, and track data…

Cryptography and Security · Computer Science 2020-04-21 Muneeb Ul Hassan , Mubashir Husain Rehmani , Jinjun Chen

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

As cross-chain interoperability advances, decentralized finance (DeFi) protocols enable illicit funds to be reorganized into uniform liquid assets that flow throughout the cryptocurrency market. Such operations can bypass monitoring…

Cryptography and Security · Computer Science 2026-04-15 Shuyi Miao , Wangjie Qiu , Shengda Zhuo , Fei Shen , Dan Lin , Xingtong Yu , Chua Tat-Seng , Zhiming Zheng

Many recent social media posts and news may create a perception of big success in the use of blockchain for the real estate industry, land registration and protection of titles and property rights. A sobering outlook is crucial because…

Computers and Society · Computer Science 2020-07-24 Oleksii Konashevych

As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business…

Software Engineering · Computer Science 2025-06-17 Lantian Li , Yejian Liang , Zhongxing Yu

With the rapid evolution of technological, economic, and regulatory landscapes, contemporary blockchain platforms are all but certain to undergo major changes. Therefore, the applications that rely on them will eventually need to migrate…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-27 HMN Dilum Bandara , Xiwei Xu , Ingo Weber

The development of blockchain technology has significantly enhanced the security and transparency of personal information and transaction records. Concurrent with the advancement of blockchain technology and the emergence of the digital…

Cryptography and Security · Computer Science 2025-09-03 Zeng Zhang , Xiaoqi Li

Many institutions and organizations require nostrification and verification of qualification as a prerequisite for hiring. The idea is to recognize the authenticity of a copy or digital document issued by an institution in a foreign country…

Cryptography and Security · Computer Science 2023-10-16 Monther Aldwairi , Mohamad Badra , Rouba Borghol

This paper describes the Distributed Ledger Network Analyzer (DiLeNA), a new software tool for the analysis of the transactions network recorded in Distributed Ledger Technologies (DLTs). The set of transactions in a DLT forms a complex…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-30 Luca Serena , Stefano Ferretti , Gabriele D'Angelo