1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
Translation Certification for Smart Contracts
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller +1
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pie…
cs.CR2021
Babel Fees via Limited Liabilities
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias +2
Custom currencies (ERC-20) on Ethereum are wildly popular, but they are second class to the primary currency Ether. Custom currencies are more complex and more expensive to handle…