Jia Liu

20 papers A 4B 3Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility.
AsiaCCS
Jia Liu, Mark Manulis
2024 J jnl
Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility.
IACR Cryptol. ePrint Arch.
Jia Liu, Mark Manulis
2023 J jnl
A Novel Computationally Efficient Group Signature for Anonymous and Secure V2X Communications.
CoRR
Jia Liu, Liqun Chen, Mehrdad Dianati, Carsten Maple, Yan Yan
2022 A conf
AuxChannel: Enabling Efficient Bi-Directional Channel for Scriptless Blockchains.
AsiaCCS
Zhimei Sui, Joseph K. Liu, Jiangshan Yu, Man Ho Au, Jia Liu
2022 J jnl
AuxChannel: Enabling Efficient Bi-Directional Channel for Scriptless Blockchains.
IACR Cryptol. ePrint Arch.
Zhimei Sui, Joseph K. Liu, Jiangshan Yu, Man Ho Au, Jia Liu
2022 B conf
Robust Subgroup Multi-signatures for Consensus.
CT-RSA
David Galindo, Jia Liu
2021 A conf
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons.
EuroS&P
David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong
2021 J jnl
SoK: Untangling File-based Encryption on Mobile Devices.
CoRR
David Galindo, Jia Liu, Chris McMahon Stone, Mihai Ordean
2020 J jnl
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons.
IACR Cryptol. ePrint Arch.
David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong
2020 J jnl
Robust Subgroup Multi-Signatures for Consensus.
IACR Cryptol. ePrint Arch.
David Galindo, Jia Liu
2019 B conf
pRate: Anonymous Star Rating with Rating Secrecy.
ACNS
Jia Liu, Mark Manulis
2019 J jnl
pRate: Anonymous Star Rating with Rating Secrecy.
IACR Cryptol. ePrint Arch.
Jia Liu, Mark Manulis
2018 J jnl
How to build time-lock encryption.
Des. Codes Cryptogr.
Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi
2017 J jnl
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.
J. Log. Algebraic Methods Program.
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
2015 J jnl
Extractable Witness Encryption and Timed-Release Encryption from Bitcoin.
IACR Cryptol. ePrint Arch.
Jia Liu, Saqib A. Kakvi, Bogdan Warinschi
2014 A conf
Balancing Societal Security and Individual Privacy: Accountable Escrow System.
CSF
Jia Liu, Mark Dermot Ryan, Liqun Chen
2014 — conf
Stateful Applied Pi Calculus.
POST
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
2012 J jnl
A complete symbolic bisimulation for full applied pi calculus.
Theor. Comput. Sci.
Jia Liu, Huimin Lin
2010 B conf
A Complete Symbolic Bisimulation for Full Applied Pi Calculus.
SOFSEM
Jia Liu, Huimin Lin
2010 — conf
Proof System for Applied Pi Calculus.
IFIP TCS
Jia Liu, Huimin Lin