The conference will explore the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols. The conference aims to foster multidisciplinary collaboration among practitioners and researchers in blockchain protocols, distributed systems, cryptography, computer security, and risk management.
Request for Papers: In cryptographic consensus systems, such as blockchains, protocol design and engineering decisions have implications for the security, economic viability, and business risks of the system. Blockchains may be able to restructure or replace core infrastructure, and thus must be analyzed as mission-critical systems with attendant security and risk concerns. The objective of this conference is to explore and highlight ongoing efforts to better understand and reason about these implications, for both public and private blockchain protocols.
We are interested in papers or presentations investigating:
-Protocol-level security and integrity, whether exploring the problem space or proposing solutions
-Development, formal verification & testing of libraries for cryptography, consensus, or verifiable data structures
-Application of formal methodologies, empirical analysis, or network mapping and simulation to blockchain engineering and design
-Novel attacks against and/or security modeling of consensus, SPV, layer 2, chain interoperability, decentralized exchange, or similar protocols
-Lessons learned from running blockchain systems in production
-Explorations of both consensus and contract finality in permissioned and permissionless blockchains
-Security considerations of interactions between blockchain and other technologies
-Hardware integration and related research and development
-Protocol analysis via mechanism design or traditional risk modeling
-Theoretical or empirical examinations of economic, policy, and risk analysis
-Explorations of pedagogy and methodologies for teaching secure blockchain system design and implementation
This topic list is not exhaustive, we are interested in all aspects of blockchain security and reliability. We encourage submissions of both mature projects and novel early-stage work-in-progress, as well as survey and systemization of knowledge papers. We are seeking technical talks and papers that are not promotional in nature.