We stand with Ukraine  

Jia Liu

Orcid: 0000-0001-7094-9324

Affiliations:
  • University of Surrey, 5G Innovation Centre, UK
  • University of Birmingham, School of Computer Science, UK (former)


According to our database1, Jia Liu authored at least 13 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility.
[BibTeX]
[DOI]
Jia Liu
,
Mark Manulis
IACR Cryptol. ePrint Arch., 2024

2022
AuxChannel: Enabling Efficient Bi-Directional Channel for Scriptless Blockchains.
[BibTeX]
[DOI]
Zhimei Sui
,
Joseph K. Liu
,
Jiangshan Yu
,
Man Ho Au
,
Jia Liu
IACR Cryptol. ePrint Arch., 2022

2021
SoK: Untangling File-based Encryption on Mobile Devices.
[BibTeX]
[DOI]
David Galindo
,
Jia Liu
,
Chris McMahon Stone
,
Mihai Ordean
CoRR, 2021

2020
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons.
[BibTeX]
[DOI]
David Galindo
,
Jia Liu
,
Mihai Ordean
,
Jin-Mann Wong
IACR Cryptol. ePrint Arch., 2020

Robust Subgroup Multi-Signatures for Consensus.
[BibTeX]
[DOI]
David Galindo
,
Jia Liu
IACR Cryptol. ePrint Arch., 2020

2019
pRate: Anonymous Star Rating with Rating Secrecy.
[BibTeX]
[DOI]
Jia Liu
,
Mark Manulis
IACR Cryptol. ePrint Arch., 2019

2018
How to build time-lock encryption.
[BibTeX]
[DOI]
Jia Liu
,
Tibor Jager
,
Saqib A. Kakvi
,
Bogdan Warinschi
Des. Codes Cryptogr., 2018

2017
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.
[BibTeX]
[DOI]
Myrto Arapinis
,
Jia Liu
,
Eike Ritter
,
Mark Ryan
J. Log. Algebraic Methods Program., 2017

2015
Extractable Witness Encryption and Timed-Release Encryption from Bitcoin.
[BibTeX]
[DOI]
Jia Liu
,
Saqib A. Kakvi
,
Bogdan Warinschi
IACR Cryptol. ePrint Arch., 2015

2014
Stateful Applied Pi Calculus.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jia Liu
,
Mark Dermot Ryan
,
Liqun Chen
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2012
A complete symbolic bisimulation for full applied pi calculus.
[BibTeX]
[DOI]
Jia Liu
,
Huimin Lin
Theor. Comput. Sci., 2012

2010
Proof System for Applied Pi Calculus.
[BibTeX]
[DOI]
Jia Liu
,
Huimin Lin
Proceedings of the Theoretical Computer Science, 2010


  Loading...