F*

1. POST

   A Semantic Framework for the Security Analysis of Ethereum Smart Contracts Grishchenko, Ilya, Maffei, Matteo, and Schneidewind, Clara In Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings 2018

Lem

1. FC

   Defining the Ethereum Virtual Machine for Interactive Theorem Provers Hirai, Yoichi In Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers 2017

K Framework

1. CSF

   KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon M., Park, Daejun, Zhang, Yi, Stefanescu, Andrei, and Rosu, Grigore In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018 2018

Isabelle

1. ICFEM

   Towards Verifying Ethereum Smart Contracts at Intermediate Language Level Li, Ximeng, Shi, Zhiping, Zhang, Qianying, Wang, Guohui, Guan, Yong, and Han, Ning In Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings 2019
2. APLAS

   Formal Verification of Atomicity Requirements for Smart Contracts Han, Ning, Li, Ximeng, Wang, Guohui, Shi, Zhiping, and Guan, Yong In Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings 2020

其它

1. ACM S&P

   Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity Jiao, Jiao, Kan, Shuanglong, Lin, Shang-Wei, Sanán, David, Liu, Yang, and Sun, Jun In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020 2020