| Publication | Date of Publication | Type |
|---|
| Zero-knowledge functional elementary databases | 2024-09-13 | Paper |
A Semiparametric Additive-multiplicative Rates Model for the Weighted Composite Endpoint of Recurrent and Terminal Events Acta Mathematica Sinica, English Series | 2024-04-24 | Paper |
Fast blind rotation for bootstrapping FHEs Advances in Cryptology – CRYPTO 2023 | 2024-02-06 | Paper |
Knowledge encryption and its applications to simulatable protocols with low round-complexity Advances in Cryptology – ASIACRYPT 2022 | 2023-08-25 | Paper |
Resumable zero-knowledge for circuits from symmetric key primitives Information Security and Privacy | 2023-07-26 | Paper |
Promise $$\varSigma $$-Protocol: How to Construct Efficient Threshold ECDSA from Encryptions Based on Class Groups Lecture Notes in Computer Science | 2023-05-26 | Paper |
| Individual simulations | 2023-03-29 | Paper |
| A practical NIZK argument for confidential transactions over account-model blockchain | 2023-03-21 | Paper |
Non-malleable functions and their applications Journal of Cryptology | 2022-04-04 | Paper |
| Public verifiable private decision tree prediction | 2021-12-08 | Paper |
KDM security for identity-based encryption: constructions and separations Information Sciences | 2020-12-10 | Paper |
| Composition operators on Bloch-Orlicz type spaces of the unit ball | 2018-10-22 | Paper |
| On the security of classic protocols for unique witness relations | 2018-05-29 | Paper |
| From attack on Feige-Shamir to construction of oblivious transfer | 2018-04-20 | Paper |
Magic adversaries versus individual reduction: science wins either way Lecture Notes in Computer Science | 2017-06-13 | Paper |
Probabilistic diagnosability of hybrid systems Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
On the implausibility of constant-round public-coin zero-knowledge proofs Lecture Notes in Computer Science | 2016-10-21 | Paper |
Non-malleable functions and their applications Public-Key Cryptography – PKC 2016 | 2016-04-13 | Paper |
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy 2009 50th Annual IEEE Symposium on Foundations of Computer Science | 2014-07-25 | Paper |
Resettable cryptography in constant rounds -- the case of zero knowledge Lecture Notes in Computer Science | 2011-12-02 | Paper |
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model Computer Science - Theory and Applications | 2009-08-18 | Paper |
Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption Information Security and Cryptology | 2009-02-10 | Paper |
Novel \(\Omega\)-protocols for NP Science in China. Series F | 2008-03-31 | Paper |
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability Advances in Cryptology - EUROCRYPT 2007 | 2007-11-29 | Paper |
A formal model-based approach for developing an interoperable mobile agent system Multiagent and Grid Systems | 2007-06-08 | Paper |
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach Science of Computer Programming | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2150568 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 1949608 (Why is no real title available?) | 2003-07-15 | Paper |
Graphical transformation of multimedia XML documents Annals of Software Engineering | 2002-05-20 | Paper |
A Framework for Developing and Analyzing Software Architecture Specifications in SAM The Computer Journal | 2002-04-29 | Paper |