Kailiang Ji

According to our database, Kailiang Ji authored at least 9 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Practical Traceable Over-Threshold Multi-Party Private Set Intersection.

Le Yang, Weijing You, Huiyang He, Kailiang Ji, Jingqiang Lin

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

2024

CryptoPyt: Unraveling Python Cryptographic APIs Misuse with Precise Static Taint Analysis.

Xiangxin Guo, Shijie Jia, Jingqiang Lin, Yuan Ma, Fangyu Zheng, Guangzheng Li, Bowen Xu, Yueqiang Cheng, Kailiang Ji

Proceedings of the Annual Computer Security Applications Conference, 2024

2019

Towards Combining Model Checking and Proof Checking.

Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji

Comput. J., 2019

2018

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.

Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT.

Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

SCTL: Towards Combining Model Checking and Proof Checking.

Jian Liu, Gilles Dowek, Kailiang Ji, Ying Jiang

CoRR, 2016

Resolution in Solving Graph Problems.

Kailiang Ji

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2015

Model Checking and Theorem Proving. (Le model Checking et la émonstration de théorèmes).

Kailiang Ji

PhD thesis, 2015

CTL Model Checking in Deduction Modulo.

Kailiang Ji

Proceedings of the Automated Deduction - CADE-25, 2015