| Publication | Date of Publication | Type |
|---|
| On soundness notions for interactive oracle proofs | 2024-12-27 | Paper |
| From polynomial IOP and commitments to non-malleable zkSNARKs | 2024-08-02 | Paper |
| Fiat-Shamir security of FRI and related SNARKs | 2024-06-26 | Paper |
| Counting vampires: from univariate sumcheck to updatable ZK-SNARK | 2023-08-16 | Paper |
| What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? | 2023-07-25 | Paper |
| Hamiltonian stochastic Lie systems and applications | 2023-07-12 | Paper |
| Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge | 2023-05-26 | Paper |
| On QA-NIZK in the BPK Model | 2022-10-13 | Paper |
| The slow-coloring game on sparse graphs: \(k\)-degenerate, planar, and outerplanar | 2021-07-23 | Paper |
| On subversion-resistant SNARKs | 2021-07-02 | Paper |
| A non-interactive shuffle argument with low trust assumptions | 2020-08-05 | Paper |
| UC-secure CRS generation for SNARKs | 2020-05-06 | Paper |
| DL-extractable UC-commitment schemes | 2020-01-30 | Paper |
| Reflexive sets of operators | 2018-10-02 | Paper |
| An efficient pairing-based shuffle argument | 2018-03-08 | Paper |
| A subversion-resistant SNARK | 2018-02-23 | Paper |
| Bounded-Retrieval Model with Keys Derived from Private Data | 2017-05-05 | Paper |
| A Shuffle Argument Secure in the Generic Model | 2017-01-06 | Paper |
| One-Time Programs with Limited Memory | 2015-12-02 | Paper |
| Hyperreflexivity constants of some spaces of matrices | 2014-02-19 | Paper |
| Effect algebras of positive linear operators densely defined on Hilbert spaces | 2012-08-09 | Paper |
| Non-hyperreflexive reflexive spaces of operators | 2011-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5306890 | 2010-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3392715 | 2009-08-17 | Paper |
| Some Aspects of Lattice and Generalized Prelattice Effect Algebras | 2009-01-20 | Paper |
| A quasi-nilpotent operator with reflexive commutant, II | 1999-04-13 | Paper |
| A quasinilpotent operator with reflexive commutant | 1996-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4308096 | 1994-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271568 | 1994-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287643 | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027584 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300171 | 1993-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4009619 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3210396 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5201802 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468184 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786965 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771079 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676675 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4747082 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931926 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3865043 | 1978-01-01 | Paper |
