Proof System for Applied Pi Calculus. - Jia Liu 003; Huimin Lin (IFIP TCS, 2010)

A complete symbolic bisimulation for full applied pi calculus. - Jia Liu 003; Huimin Lin (Theor. Comput. Sci., 2012)

Balancing Societal Security and Individual Privacy: Accountable Escrow System. - Jia Liu 003; Mark Dermot Ryan; Liqun Chen 002 (CSF, 2014)

Stateful Applied Pi Calculus. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (POST, 2014)

Extractable Witness Encryption and Timed-Release Encryption from Bitcoin. - Jia Liu 003; Saqib A. Kakvi; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2015)

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (J. Log. Algebraic Methods Program., 2017)

How to build time-lock encryption. - Jia Liu 003; Tibor Jager; Saqib A. Kakvi; Bogdan Warinschi (Des. Codes Cryptogr., 2018)

pRate: Anonymous Star Rating with Rating Secrecy. - Jia Liu 003; Mark Manulis (IACR Cryptol. ePrint Arch., 2019)

Robust Subgroup Multi-Signatures for Consensus. - David Galindo; Jia Liu 003 (IACR Cryptol. ePrint Arch., 2020)

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. - David Galindo; Jia Liu 003; Mihai Ordean; Jin-Mann Wong (IACR Cryptol. ePrint Arch., 2020)

SoK: Untangling File-based Encryption on Mobile Devices. - David Galindo; Jia Liu 003; Chris McMahon Stone; Mihai Ordean (CoRR, 2021)

AuxChannel: Enabling Efficient Bi-Directional Channel for Scriptless Blockchains. - Zhimei Sui; Joseph K. Liu; Jiangshan Yu; Man Ho Au; Jia Liu 003 (IACR Cryptol. ePrint Arch., 2022)

A Novel Computationally Efficient Group Signature for Anonymous and Secure V2X Communications. - Jia Liu 003; Liqun Chen 002; Mehrdad Dianati; Carsten Maple; Yan Yan (CoRR, 2023)

Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility. - Jia Liu 003; Mark Manulis (IACR Cryptol. ePrint Arch., 2024)