Distributed, Parallel, and Cluster Computing · Computer Science
Smart Contracts on the Move
Enrique Fynn, Alysson Bessani, Fernando Pedone
2020-04-24
Cryptography and Security · Computer Science
Towards Cross-Blockchain Smart Contracts
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski
2021-06-29
Distributed, Parallel, and Cluster Computing · Computer Science
Towards Policy-Enabled Multi-Hop Routing for Cross-Chain Message Delivery
Amin Rezaei, Solomon L. Davidson, Bernard Wong
2026-04-07
Cryptography and Security · Computer Science
Topos: A Secure, Trustless, and Decentralized Interoperability Protocol
Théo Gauthier, Sébastien Dan, Monir Hadji, Antonella Del Pozzo +1
2023-02-10
Cryptography and Security · Computer Science
CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
Tahrim Hossain, Faisal Haque Bappy, Tarannum Shaila Zaman, Tariqul Islam
2025-10-23
Cryptography and Security · Computer Science
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo +2
2023-04-19
Cryptography and Security · Computer Science
TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware
Ying Lan, Jianbo Gao, Ke Wang, Jiashuo Zhang +3
2021-03-26
Distributed, Parallel, and Cluster Computing · Computer Science
Automated Gateways: A Smart Contract-Powered Solution for Interoperability Across Blockchains
Koosha Esmaeilzadeh Khorasani, Sara Rouhani, Rui Pan, Vahid Pourheidari
2024-09-24
Cryptography and Security · Computer Science
MAP the Blockchain World: A Trustless and Scalable Blockchain Interoperability Protocol for Cross-chain Applications
Yinfeng Cao, Jiannong Cao, Dongbin Bai, Long Wen +2
2024-11-04
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain and Smart-contracts Modeled in a SwarmESB Ecosystem
Ioana Stanescu, Lenuta Alboaie, Andrei Panu
2018-10-01
Computers and Society · Computer Science
Blockchain-based Smart Contracts - Applications and Challenges
Yining Hu, Madhusanka Liyanage, Ahsan Mansoor, Kanchana Thilakarathna +2
2019-06-11
Distributed, Parallel, and Cluster Computing · Computer Science
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
2018-04-25
Cryptography and Security · Computer Science
The Telehealth Chain: a protocol for secure and transparent telemedicine transactions on the blockchain
Syed Sarosh Mahdi, Zaib Ullah, Gopi Battineni, Muneer Gohar Babar +1
2023-10-31
Cryptography and Security · Computer Science
Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
Thomas Ball, Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen +5
2025-08-08