Jia Liu

According to our database, Jia Liu authored at least 14 papers between 2010 and 2025.

Collaborative distances:

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

2025

Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility.

Jia Liu, Mark Manulis

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 2025

2023

A Novel Computationally Efficient Group Signature for Anonymous and Secure V2X Communications.

Jia Liu, Liqun Chen, Mehrdad Dianati, Carsten Maple, Yan Yan

CoRR, 2023

2022

Robust Subgroup Multi-signatures for Consensus.

David Galindo, Jia Liu

Proceedings of the Topics in Cryptology - CT-RSA 2022, 2022

AuxChannel: Enabling Efficient Bi-Directional Channel for Scriptless Blockchains.

Zhimei Sui, Joseph K. Liu, Jiangshan Yu, Man Ho Au, Jia Liu

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

SoK: Untangling File-based Encryption on Mobile Devices.

David Galindo, Jia Liu, Chris McMahon Stone, Mihai Ordean

CoRR, 2021

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons.

David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

2019

pRate: Anonymous Star Rating with Rating Secrecy.

Jia Liu, Mark Manulis

Proceedings of the Applied Cryptography and Network Security, 2019

2018

How to build time-lock encryption.

Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi

Des. Codes Cryptogr., 2018

2017

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

J. Log. Algebraic Methods Program., 2017

2015

Extractable Witness Encryption and Timed-Release Encryption from Bitcoin.

Jia Liu, Saqib A. Kakvi, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

2014

Stateful Applied Pi Calculus.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Balancing Societal Security and Individual Privacy: Accountable Escrow System.

Jia Liu, Mark Dermot Ryan, Liqun Chen

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2010

A Complete Symbolic Bisimulation for Full Applied Pi Calculus.

Jia Liu, Huimin Lin

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Proof System for Applied Pi Calculus.

Jia Liu, Huimin Lin

Proceedings of the Theoretical Computer Science, 2010