publications

2024

1. VESC: Towards Temporal Verification of Smart Contracts

   Samuel Larsen, Kevin Johanson, and Yuandong Cyrus Liu

   In Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2024

   Bib PDF Poster

   @inproceedings{larsen2024vesc,
     title = {VESC: Towards Temporal Verification of Smart Contracts},
     author = {Larsen, Samuel and Johanson, Kevin and Liu, Yuandong Cyrus},
     booktitle = {Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity},
     pages = {46--48},
     year = {2024}
   }

2023

1. DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing

   Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, and 2 more authors

   arXiv e-prints, 2023

   Bib PDF

   @article{cyrus2023drnla,
     title = {DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing},
     author = {Liu, Yuandong Cyrus and Le, Ton-Chanh and Antonopoulos, Timos and Koskinen, Eric and Nguyen, ThanhVu},
     journal = {arXiv e-prints},
     pages = {arXiv--2306},
     year = {2023}
   }

2022

1. Temporal Verification of Nonlinear Programs

   Yuandong Cyrus Liu

   Stevens Institute of Technology, 2022

   Bib HTML PDF

   @phdthesis{liu2022temporal,
     title = {Temporal Verification of Nonlinear Programs},
     author = {Liu, Yuandong Cyrus},
     year = {2022},
     school = {Stevens Institute of Technology}
   }

2021

1. Proving LTL Properties of Bitvector Programs and Decompiled Binaries

   Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, and 4 more authors

   In Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings 19, 2021

   Bib PDF Video Slides

   @inproceedings{liu2021proving,
     title = {Proving LTL Properties of Bitvector Programs and Decompiled Binaries},
     author = {Liu, Yuandong Cyrus and Pang, Chengbin and Dietsch, Daniel and Koskinen, Eric and Le, Ton-Chanh and Portokalidis, Georgios and Xu, Jun},
     booktitle = {Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17--18, 2021, Proceedings 19},
     pages = {285--304},
     year = {2021},
     organization = {Springer International Publishing}
   }

2. Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)

   Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, and 4 more authors

   arXiv e-prints, 2021

   Bib PDF

   @article{cyrus2021proving,
     title = {Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)},
     author = {Liu, Yuandong Cyrus and Pang, Chengbin and Dietsch, Daniel and Koskinen, Eric and Le, Ton-Chanh and Portokalidis, Georgios and Xu, Jun},
     journal = {arXiv e-prints},
     pages = {arXiv--2105},
     year = {2021}
   }

3. Source-Level Bitwise Branching for Temporal Verification

   Yuandong Cyrus Liu, Ton-Chanh Le, and Eric Koskinen

   arXiv e-prints, 2021

   Bib PDF Poster

   @article{cyrus2021source,
     title = {Source-Level Bitwise Branching for Temporal Verification},
     author = {Liu, Yuandong Cyrus and Le, Ton-Chanh and Koskinen, Eric},
     journal = {arXiv e-prints},
     pages = {arXiv--2111},
     year = {2021}
   }

2016

1. Malicious Application Dynamic Detection in Real-time API Analysis

   Shiting Xu, Xinyu Ma, Yuandong Liu, and 1 more author

   In 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), 2016

   Bib HTML PDF

   @inproceedings{xu2016malicious,
     title = {Malicious Application Dynamic Detection in Real-time API Analysis},
     author = {Xu, Shiting and Ma, Xinyu and Liu, Yuandong and Sheng, Qiang},
     booktitle = {2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)},
     pages = {788--794},
     year = {2016},
     organization = {IEEE}
   }

2. Stratify Mobile App Reviews: E-LDA Model Based on Hot "Entity" Discovery

   Yuandong Liu, Yanwei Li, Yanhui Guo, and 1 more author

   In 2016 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2016

   Bib HTML PDF

   @inproceedings{liu2016stratify,
     title = {Stratify Mobile App Reviews: E-LDA Model Based on Hot "Entity" Discovery},
     author = {Liu, Yuandong and Li, Yanwei and Guo, Yanhui and Zhang, Miao},
     booktitle = {2016 12th International Conference on Signal-Image Technology \& Internet-Based Systems (SITIS)},
     pages = {581--588},
     year = {2016},
     organization = {IEEE}
   }

2015

1. A Detection Method of Android Application Malicious Behaviors Based on Xposed Framework

   Wang Sai, Guo Yanhui, Wu Qiuxin, and 1 more author

   In Sciencepaper Online, 2015

   Bib HTML

   @inproceedings{sai2015detection,
     title = {A Detection Method of Android Application Malicious Behaviors Based on Xposed Framework},
     author = {Sai, Wang and Yanhui, Guo and Qiuxin, Wu and Yuandong, Liu},
     booktitle = {Sciencepaper Online},
     year = {2015},
     organization = {Sciencepaper Online, https://www.paper.edu.cn/releasepaper/content/201512-1264}
   }