6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Seulkee Baek
Much of Ethereum's most consequential code is immutable bytecode: old output of unverified compilers, and protocol logic run as contract code. We show that such bytecode can be ver…