| Publication | Date of Publication | Type |
|---|
Online survival analysis with quantile regression
Statistics and Computing | 2026-05-15 | Paper |
Anonymous registered attribute-based signature for circuits
Theoretical Computer Science | 2026-01-05 | Paper |
| Transparent SNARKs over Galois rings | 2025-07-29 | Paper |
| NTRU-based bootstrapping for MK-FHEs without using overstretched parameters | 2025-07-23 | Paper |
Semiparametric Probit Regression Model with General Interval-Censored Failure Time Data
Journal of Computational and Graphical Statistics | 2025-06-25 | Paper |
| 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 |
