English
Related papers

Related papers: Atomic Transfer Graphs: Secure-by-design Protocols…

200 papers

In his 2018 paper, Herlihy introduced an atomic protocol for multi-party asset swaps across different blockchains. His model represents an asset swap by a directed graph whose nodes are the participating parties and edges represent asset…

Data Structures and Algorithms · Computer Science 2024-03-18 Emily Clark , Chloe Georgiou , Katelyn Poon , Marek Chrobak

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…

Cryptography and Security · Computer Science 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

A blockchain facilitates secure and atomic transactions between mutually untrusting parties on that chain. Today, there are multiple blockchains with differing interfaces and security properties. Programming in this multi-blockchain world…

Cryptography and Security · Computer Science 2024-03-13 Huaixi Lu , Akshay Jajoo , Kedar S. Namjoshi

An atomic cross-chain swap is a distributed coordination task where multiple parties exchange assets across multiple blockchains, for example, trading bitcoin for ether. An atomic swap protocol guarantees (1) if all parties conform to the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-21 Maurice Herlihy

The blockchain space is changing constantly. New chains are being implemented frequently with different use cases in mind. As more and more types of crypto assets are getting real world value there is an increasing need for blockchain…

Cryptography and Security · Computer Science 2020-09-29 Omer Shlomovits , Oded Leiba

The General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one…

Cryptography and Security · Computer Science 2021-07-06 Peter Robinson , Raghavendra Ramesh

The adoption of decentralized, tamper-proof ledger systems is paving the way for new applications and opportunities in different contexts. While most research aims to improve their scalability, privacy, and governance issues,…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-29 Ivan Homoliak , Martin Perešíni , Patrik Holop , Jakub Handzuš , Fran Casino

An effective atomic cross-chain swap protocol is introduced by Herlihy [Herlihy, 2018] as a distributed coordination protocol in order to exchange assets across multiple blockchains among multiple parties. An atomic cross-chain swap…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-03 Soichiro Imoto , Yuichi Sudo , Hirotsugu Kakugawa , Toshimitsu Masuzawa

Blockchain is a decentralized transaction and data management solution, the technological leap behind the success of Bitcoin and other cryptocurrencies. As the variety of existing blockchains and distributed ledgers continues to increase,…

Cryptography and Security · Computer Science 2020-07-27 Martin Garriga , Stefano Dalla Palma , Maximiliano Arias , Alan De Renzis , Remo Pareschi , Damian Andrew Tamburri

With the recent advances of IoT (Internet of Things) new and more robust security frameworks are needed to detect and mitigate new forms of cyber-attacks, which exploit complex and heterogeneity IoT networks, as well as, the existence of…

Cryptography and Security · Computer Science 2021-09-22 Gohar Sargsyan , Nicolas Castellon , Raymond Binnendijk , Peter Cozijnsen

In the light of the recent fame of Blockchain technologies, numerous proposals and projects aiming at better practical viability have emerged. However, formally assessing their particularities and benefits has proven to be a difficult task.…

Cryptography and Security · Computer Science 2019-06-13 Antoine Durand , Elyes Ben-Hamida , David Leporini , Gérard Memmi

Blockchain technology and, in particular, blockchain-based cryptocurrencies offer us information that has never been seen before in the financial world. In contrast to fiat currencies, all transactions of crypto-currencies and crypto-tokens…

Social and Information Networks · Computer Science 2019-12-24 Yitao Li , Umar Islambekov , Cuneyt Akcora , Ekaterina Smirnova , Yulia R. Gel , Murat Kantarcioglu

Atomic Crosschain Transaction technology allows composable programming across private Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole…

Cryptography and Security · Computer Science 2020-04-03 Peter Robinson , Raghavendra Ramesh , John Brainard , Sandra Johnson

Blockchain is maintained as a global log between a network of nodes and uses cryptographic distributed protocols to synchronize the updates. As adopted by Bitcoin and Ethereum these update operations to the ledger are serialized, and…

Cryptography and Security · Computer Science 2019-10-25 Himanshu Gupta , Dharanipragada Janakiram

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

Cryptography and Security · Computer Science 2026-01-14 Nicholas J. C. Papadopoulos

Security bugs and trapdoors in smart contracts have been impacting the Ethereum community since its inception. Conceptually, the 1.45-million Ethereum's contracts form a single "gigantic program" whose behaviors are determined by the…

Cryptography and Security · Computer Science 2025-08-08 Thomas Ball , Nikolaj S. Bjørner , Ashley J. Chen , Shuo Chen , Yang Chen , Zhongxin Guo , Tzu-Han Hsu , Peng Liu , Nanqing Luo

Ethereum is currently the second largest blockchain by market capitalization and a popular platform for cryptocurrencies. As it has grown, the high value present and the anonymity afforded by the technology have led Ethereum to become a…

Cryptography and Security · Computer Science 2025-01-22 Calvin Josenhans , Andrey Kuehlkamp , Jarek Nabrzyski

Blockchains rely on economic incentives to ensure secure and decentralised operation, making incentive compatibility a core design concern. However, protocols are rarely deployed in isolation. Applications interact with the underlying…

Computer Science and Game Theory · Computer Science 2026-04-08 Zeta Avarikioti , Georg Fuchsbauer , Pim Keer , Matteo Maffei , Fabian Regen

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

The recent adoption of blockchain technologies and open permissionless networks suggest the importance of peer-to-peer atomic cross-chain transaction protocols. Users should be able to atomically exchange tokens and assets without depending…

Databases · Computer Science 2021-03-30 Victor Zakhary , Divyakant Agrawal , Amr El Abbadi
‹ Prev 1 2 3 10 Next ›