cs.CR cs.PL
Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions
Nikolaj S. Bjørner Ashley J. Chen Shuo Chen Yang Chen Zhongxin Guo Tzu-Han Hsu Peng Liu Nanqing Luo