Zhong, Jingyi Emma, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, and David L. Dill. “The move prover.” In International Conference on Computer Aided Verification, pp. 137-150. Springer, Cham, 2020.Harvard
Dill, David, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, and Emma Zhong. “Fast and reliable formal verification of smart contracts with the Move prover.” In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 183-200. Springer, Cham, 2022.Harvard
Park, Junkil, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, and Robert Chen. “Securing Aptos framework with formal verification.” In 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024.
