Formalizing MEV: Rigorous Model for Provably Secure Blockchain Architectures
This research introduces a formal, abstract model for Maximal Extractable Value, enabling systematic analysis and the development of provably secure blockchain protocols.
Formalizing Blockchain Liveness: A New Consensus Algorithm Security Methodology
This research introduces a novel methodology and taxonomy for formally analyzing blockchain consensus algorithm liveness against malicious attacks, ensuring robust system progress.
