Suivre
Jia Liu
Jia Liu
Researcher at Enya Labs
Adresse e-mail validée de enya.ai
Titre
Citée par
Citée par
Année
How to build time-lock encryption
J Liu, T Jager, SA Kakvi, B Warinschi
Designs, Codes and Cryptography 86, 2549-2586, 2018
982018
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons
D Galindo, J Liu, M Ordean, JM Wong
https://eprint.iacr.org/2020/096.pdf, 2020
472020
Time-release protocol from bitcoin and witness encryption for sat
J Liu, F Garcia, M Ryan
Korean Circulation Journal 40 (10), 530-535, 2015
322015
A Complete Symbolic Bisimulation for Full Applied Pi Calculus
J Liu, H Lin
Theoretical Computer Science 458, 76-112, 2012
312012
Stateful applied pi calculus
M Arapinis, J Liu, E Ritter, M Ryan
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
212014
Balancing societal security and individual privacy: Accountable escrow system
J Liu, MD Ryan, L Chen
2014 IEEE 27th Computer Security Foundations Symposium, 427-440, 2014
192014
Extractable Witness Encryption and Timed-Release Encryption from Bitcoin
J Liu, SA Kakvi, B Warinschi
IACR Cryptology ePrint Archive 2015, 482, 2016
152016
A proof of coincidence of labeled bisimilarity and observational equivalence in applied pi calculus
J Liu
Technical report, Institute of Software Chinese Academy of Sciences, State …, 2011
132011
Proof system for applied pi calculus
J Liu, H Lin
IFIP International Conference on Theoretical Computer Science, 229-243, 2010
112010
How to build time-lock encryption. Des. Codes Crypt. 86 (11), 2549–2586 (2018)
J Liu, T Jager, SA Kakvi, B Warinschi
9
AuxChannel: Enabling efficient bi-directional channel for scriptless blockchains
Z Sui, JK Liu, J Yu, MH Au, J Liu
Proceedings of the 2022 ACM on Asia Conference on Computer and …, 2022
62022
pRate: Anonymous Star Rating with Rating Secrecy
J Liu, M Manulis
ACNS 2019, 550--570, 2019
52019
Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity
M Arapinis, J Liu, E Ritter, M Ryan
Journal of Logical and Algebraic Methods in Programming 89, 95-149, 2017
42017
Robust Subgroup Multi-Signatures for Consensus
D Galindo, J Liu
22020
SoK: untangling file-based encryption on mobile devices
D Galindo, J Liu, CMM Stone, M Ordean
arXiv preprint arXiv:2111.12456, 2021
12021
Verifiably accountable surveillance
MD Ryan, J Liu
2014
On the Coincidence of Observational Equivalence and Labeled Bisimilarity in Applied Pi Calculus
J Liu
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17