9 citations · 43 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio, Eric McCarthy
Yul is an intermediate language used in the compilation of the Solidity programming language for Ethereum smart contracts. The compiler applies customizable sequences of transforma…
cs.LO2025
Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
Alessandro Coglio, Eric McCarthy
Blockchain consensus protocols enable participants to agree on consistent views of the blockchain that may be ahead or behind relative to each other but do not fork into different…