16:00-19:00
Conference Program
Full paper, short paper, poster, and lightning talk sessions for BCRA 2026.
July 10
Friday, July 10, 2026
Open discussion
July 11
Saturday, July 11, 2026
16:00-19:00
Blockchain Corner: Open Discussion on International Regulation
July 12
Sunday, July 12, 2026
16:00-19:00
Blockchain Corner: Open Discussion on AI Integration
July 13
Monday, July 13, 2026
11:00-12:15
Morning Session: Crypto Asset Risk and On-chain Transaction Analysis
1
#26Full
Shedding Light on Complex Bitcoin Mixer Transactions: 67-Fold Reduction in Unclassified Cases
Nikolay Larionov, Yekaterina Smolenkova and Yury Yanovich
2
#92Full
TAD-FGNN: A Temporal-Aware Active Defense Federated Graph Neural Network for Anomaly Transaction Detection
Haoyu Chen, Jinsong Wang, Zening Zhao, Kai Shi and Zongpu Wei
3
#20Full
Does Bitcoin predict stock market crashes?
Jinsha Zhao and Jia Miao
4
#131Short
Quality over Quantity: Semi-Supervised Detection of Illicit Bitcoin Flows through Feature Engineering
Yekaterina Smolenkova, Nikolay Larionov, Nikolay Ivanov and Yury Yanovich
15:00-16:30
Afternoon Session 1: MEV, Trading Infrastructure and Decentralized Markets
1
#58Full
APRO: Account-Side Enforcement of Canonical Post-Reveal Ordering for ERC-4337 UserOperations
Guangyu Peng, Ziyan Zhao and Xiaohu Yang
2
#87Full
AEGIS: Auditable Admission for Builder-Mediated Orderflow
Guangyu Peng, Ziyan Zhao, Jindou Chen and Xiaohu Yang
3
#91Full
Market Concentration and Strategic Partnerships of MEV Supply Chain on Ethereum
Tao Yan, Wenxin Wan, Meng Zhang and Claudio Tessone
4
#129Short
Can MEV Infrastructure Double as a Compliance Layer? Evidence from Public Mempool Visibility and Early-Warning Measurement
Wai Kwan Mark Woo, Jiayi Lin and Yuexuan Wang
5
#130Short
Trade-Size-Aware Dynamic Fees for Impermanent Loss Mitigation in Automated Market Makers
Anton Ledrov, Ignat Melnikov, Irina Lebedeva, Dmitrii Umnov, George Ovchinnikov and Yury Yanovich
17:00-18:15
Afternoon Session 2: Smart Contract Security, Testing and Privacy
1
#17Full
On the Shoulders of Giants: Empowering Automated Smart Contract Auditing via the GiAnt Corpus
Xiaoting Zhang, Zhipeng Gao, Yiran Lv, Xing Hu, Feifei Niu and Xin Xia
2
#40Full
Multi-Agent Framework for Reducing False Positives of Smart Contract Static Analysis Tools
Ting Zhang, Jiachi Chen, Yongchang Sun, Yuqi Zhang, Jiashuo Zhang, Jianbo Gao and Zhong Chen
3
#74Full
A$^2$F: Enabling FHE-Based Smart Contracts over Additively Homomorphic Confidential Blockchains
Chenke Wang, Shuangcheng Liu, Yu Long, Xian Xu and Dawu Gu
4
#121Short
Upgrade-Aware Capture-Replay Testing for Proxy-Based Smart Contracts
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta and Andrea Polini
July 14
Tuesday, July 14, 2026
09:00-10:00
Keynote Speech: Aligning with Nakamoto's Vision: Privacy and Censorship Resistance for Hybrid Smart Contracts
Ivan Visconti, Sapienza University of Rome
Abstract
Hybrid smart contracts extend the utility of blockchain networks by leveraging decentralized oracles to securely verify and integrate external data. However, triggering these contracts based on real-world events often introduces critical vulnerabilities regarding user privacy and susceptibility to centralized data censorship. This keynote addresses these challenges by exploring the architectural design of a privacy-preserving censorship-resistant system for hybrid smart contracts. We examine how blockchains, self-sovereign identity (SSI) and advanced cryptographic credentials can serve as decentralized tools to verify external facts aligning with Nakamoto's view.
Bio
Ivan Visconti is a full professor of Computer Science at the Department of Computer, Control and Management Engineering of Sapienza University of Rome. His research interests focus on cryptography and, more specifically, on data protection through zero-knowledge proofs, post-quantum cryptography, decentralized systems, blockchain technology, homomorphic encryption, and privacy-enhancing technologies. For over 20 years, he has contributed to the design of advanced cryptographic systems, publishing his results in the proceedings of prestigious conferences organized by the International Association for Cryptologic Research (IACR) and serving on their program committees.
10:30-12:15
Morning Session: Interoperability, Execution Performance and Verifiable Data Infrastructure
1
#46Full
Fine-Grained Latency Testing of the IBC Protocol Using eBPF
Yuying Wang, Zhaoxiong Song, Yi Guo, Hanwen Zhang, Jun Zhang and Yi Sun
2
#101Full
Latency Performance Modeling and Analysis for End-to-End Relay-Chain Ecosystems
Hao Ding, Can Wang, Jiasi Li, Haoran Ding, Jiyu Liu, Qing Li, Xuefeng Piao and Zhenzhou Ji
3
#66Full
Detrax: Deterministic Parallel Transaction Scheduling for the ChainMaker Blockchain
Cheng Hu, Tianhao Xiao, Jianbo Gao, Yibing Zhao, Yue Li, Xiaoqiang Zhu, Sen Liu, Gerui Wang, Mingchao Wan, Jian Wang and Jiqiang Liu
4
#48Short
Native Account Abstraction Beyond Ethereum: Design and Benchmarking on a Move-based Ledger
Antonino Iaria, Mirko Zichichi, Levente Pap and Stefano Ferretti
5
#125Short
ABCD-IoHT: An Adaptive Blockchain Hyperledger Architecture for Healthcare Applications
Jackey Cheung and Sm Yiu
6
#124Short
Ada-Link: A Blockchain-Enabled Verifiable Data Acquisition Scheme with Adaptive Compression for IoV Forensic
Jiasi Li, Hao Ding, Xuefeng Piao, Seong-Je Cho and Zhenzhou Ji
15:00-16:15
Afternoon Session 1: Consensus, Sharding and Blockchain Verification
1
#39Full
A Formal Model of Algorand BBA* Consensus with Its Noninterference Analysis and Probabilistic Verification via CADP
Andrea Esposito, Francesco Pio Rossi, Marco Bernardo, Francesco Fabris and Francesco Spegni
2
#71Full
General Smart Contracts Across Shards: A 2PC Protocol for Adaptive State-Sharded Blockchains
Yackolley Amoussou-Guenou, Emmanuelle Anceaume, Antonella Del Pozzo, Aimen Djari, Skander Mhadhbi and Sara Tucci Piergiovanni
3
#104Full
Systematization of Knowledge: Formal Verification of Consensus Protocols
Nikita Bondarev, Kirill Ziborov and Yury Yanovich
4
#122Short
Evaluate and Guard the Wisdom of Crowds: Trustless Blockchain Oracle via Quality-Aware and Verifiable Data Aggregation
Xuanming Liu, Xinpeng Yang, Yinghao Wang and Xiaohu Yang
16:45-18:15
Afternoon Session 2: Agents, Governance and Blockchain Economics
1
#15Full
Revealing and Benchmarking the Safety Risks in Blockchain Agents
Jiawen Zhang, Kejia Chen, Lipeng He, Yechao Zhang, Jian Liu and Xiaohu Yang
2
#57Full
AITCap: Tool-Scoped DID Authorization with Context-Attenuated Capabilities for MCP Ecosystems
Guangyu Peng, Ziyan Zhao, Yong Wang and Xiaohu Yang
3
#61Full
SoK: Blockchain Agent-to-Agent Payments
Yuanzhe Zhang, Yuexin Xiang, Yuchen Lei, Qin Wang, Tian Qiu, Yujing Sun, Spiridon Zarkov, Tsz Hon Yuen, Andreas Deppeler, Jiangshan Yu and Kwok-Yan Lam
4
#127Short
Phantom Alliances in DAO Governance
Qianyu Liu, Guangyao Li, Xiansheng Li and Claudio J. Tessone
5
#128Short
Feasibility of Blockchain-Based Intermediary Alternatives
Qianyu Liu, Guangyao Li, Shengnan Li, Wei Dai and Claudio J. Tessone
July 15
Wednesday, July 15, 2026
09:00-10:45
Morning Session 1: Execution Infrastructure, Blockchain Applications
1
#75Full
A RISC-V JIT Backend for Solana eBPF: Enabling Multi-Architecture Deployment of Blockchain Virtual Machines
Jun Liu, Jiayi Lu, Shenghao Yuan, David Sanan and Yongwang Zhao
2
#37Full
A Blockchain Architecture for Tokenizing Carbon Removal Credits as Real-World Assets in CCS Carbon Trading Systems
Chunming Rong, Nan Zhang and Marius Sikveland
3
#64Full
FORGE: Fault-Tolerant Off-Chain GPU Computation with Optimistic Selective Re-Computation and Economic Security
Ziyan Zhao, Guangyu Peng and Wei Zhang
4
#47Short
Securing User-Controlled Health Data Sharing with Blockchain and Decentralized Storage
Umberto Pollarini, Antonino Iaria, Vittorio Ghini, Gabriele D'Angelo and Stefano Ferretti
5
#120Short
Fine-Grained Privacy-Aware Educational Data Sharing with Hierarchical Key Derivation
Zijun Guo, Shichang Yang, Tao Leng, Lina Lan, Shihan Zhang, Bing Han and Ruisheng Shi
6
#119Short
Managing Renegotiability in Blockchain-based Enforceable Business Processes
Muhammad Bin Saif, Veronica Paternolli, Mauro Gambini, Sara Migliorini and Mila Dalla Preda
11:15-12:30
Morning Session 2: DeFi, Identity and Applied AI
1
#1Full
Quantifying Observable High-Frequency Swapping On Arbitrum
Shijian Chen, Ya Chen, Jing Cai and Catherine Liu
2
#118Short
A Systematization of Knowledge on DeFi Vaults: Architectures, Curation Mechanisms, and Strategy Design
Davide Mancino and Luca Pennella
3
#126Short
Liquidity Provision in CLMMs: Historical Transaction-Based Study of LP PnL, Classification, Position Types and Motivation
Andrey Urusov, Rostislav Berezovskiy, Anatoly Krestenko and Andrei Kornilov
4
#123Lightning
Comparing On-Chain Order Book Data Structures: Gas Costs, Market Quality, and Deployment Guidelines Across EVM Chains (Extended Abstract)
Adam Novocký and Kristián Košťál
5
#114Poster
Identity on Whose Terms? Exploring User Priorities in Decentralized Identity
Daria Schumm, Venusan Velrajah and Burkhard Stiller
6
#110Lightning
FarmiGrow AI: An Intelligent Agricultural Decision Support System
Sana Khurshid, Sameer Johri, Varun Panchal, Naman Mishra and Ashish Raj