3 papers
cs.AI2026
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Elliot Jones, William Knottenbelt
Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems. Whilst formal verification is tradition…
cs.CE2026
Stablecoins as Dry Powder: A Copula-Based Risk Analysis of Cryptocurrency Markets
Elliot Jones, Toshiko Matsui, William Knottenbelt
Stablecoins serve as the fundamental infrastructure for Decentralised Finance (DeFi), acting as the primary bridge between fiat currencies and the digital asset ecosystem. While pe…
cs.CR2026
Towards Automating Blockchain Consensus Verification with IsabeLLM
Elliot Jones, William Knottenbelt
Consensus protocols are crucial for a blockchain system as they are what allow agreement between the system's nodes in a potentially adversarial environment. For this reason, it is…