| How to build time-lock encryption J Liu, T Jager, SA Kakvi, B Warinschi Designs, Codes and Cryptography 86, 2549-2586, 2018 | 108 | 2018 |
| 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 | 63 | 2020 |
| Time-release protocol from bitcoin and witness encryption for sat J Liu, F Garcia, M Ryan Korean Circulation Journal 40 (10), 530-535, 2015 | 36 | 2015 |
| A Complete Symbolic Bisimulation for Full Applied Pi Calculus J Liu, H Lin Theoretical Computer Science 458, 76-112, 2012 | 31 | 2012 |
| Stateful applied pi calculus M Arapinis, J Liu, E Ritter, M Ryan Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 21 | 2014 |
| 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 | 20 | 2014 |
| Extractable Witness Encryption and Timed-Release Encryption from Bitcoin J Liu, SA Kakvi, B Warinschi IACR Cryptology ePrint Archive 2015, 482, 2016 | 16 | 2016 |
| 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 | 13 | 2011 |
| How to build time-lock encryption. Des. Codes Crypt. 86 (11), 2549–2586 (2018) J Liu, T Jager, SA Kakvi, B Warinschi | 12 | |
| Proof system for applied pi calculus J Liu, H Lin IFIP International Conference on Theoretical Computer Science, 229-243, 2010 | 11 | 2010 |
| pRate: Anonymous Star Rating with Rating Secrecy J Liu, M Manulis ACNS 2019, 550--570, 2019 | 7 | 2019 |
| 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 | 6 | 2022 |
| Robust Subgroup Multi-Signatures for Consensus D Galindo, J Liu | 6 | 2020 |
| 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 | 6 | 2017 |
| SoK: untangling file-based encryption on mobile devices D Galindo, J Liu, CMM Stone, M Ordean arXiv preprint arXiv:2111.12456, 2021 | 2 | 2021 |
| Verifiably accountable surveillance MD Ryan, J Liu | | 2014 |
| On the Coincidence of Observational Equivalence and Labeled Bisimilarity in Applied Pi Calculus J Liu | | |
