| Publication | Date of Publication | Type |
|---|
| On the Proactive Generation of Unsafe Images From Text-To-Image Models Using Benign Prompts | 2025-01-28 | Dataset |
| Adversarial vulnerability bounds for Gaussian process classification | 2023-06-27 | Paper |
| Anonymous RAM | 2022-08-19 | Paper |
| Computational soundness for interactive primitives | 2022-08-19 | Paper |
| Quantifying probabilistic information flow in computational reactive systems | 2022-03-09 | Paper |
| Secure key-updating for lazy revocation | 2022-03-09 | Paper |
| Conditional reactive simulatability | 2022-03-09 | Paper |
| Limits of the cryptographic realization of Dolev-Yao-style XOR | 2022-03-09 | Paper |
| Cryptographically sound security proofs for basic and public-key Kerberos | 2022-03-09 | Paper |
| Limits of the BRSIM/UC soundness of Dolev-Yao models with hashes | 2022-03-09 | Paper |
| A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol | 2022-03-07 | Paper |
| An algebra for composing enterprise privacy policies | 2022-03-07 | Paper |
| Symmetric authentication within a simulatable cryptographic library | 2022-02-16 | Paper |
| Computational probabilistic non-interference | 2022-02-16 | Paper |
| TrollThrottle -- raising the cost of astroturfing | 2021-02-23 | Paper |
| Periodicity detection in irregularly sampled light curves by robust regression and outlier detection | 2020-10-14 | Paper |
| Ring signatures: logarithmic-size, no setup -- from standard assumptions | 2020-02-04 | Paper |
| Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup | 2020-01-28 | Paper |
| Threshold optimization for classification in imbalanced data in a problem of gamma-ray astronomy | 2019-11-27 | Paper |
| Signatures with flexible public key: introducing equivalence classes for public keys | 2019-01-23 | Paper |
| From zoos to safaris -- from closed-world enforcement to open-world assessment of privacy | 2018-10-17 | Paper |
| Quantifying information flow in cryptographic systems | 2016-07-27 | Paper |
| Delegatable functional signatures | 2016-04-13 | Paper |
| Secrecy without perfect randomness: cryptography with (bounded) weak sources | 2016-03-10 | Paper |
| Proactive secure message transmission in asynchronous networks | 2015-09-04 | Paper |
| Asynchronous MPC with a strict honest majority using non-equivocation | 2015-09-03 | Paper |
| Brief announcement | 2014-12-05 | Paper |
| Privacy-preserving accountable computation | 2014-10-16 | Paper |
| BackRef: accountability in anonymous communication networks | 2014-07-07 | Paper |
| Webtrust -- a comprehensive authenticity and integrity framework for HTTP | 2014-07-07 | Paper |
| Real-or-random key secrecy of the Otway-Rees protocol via a symbolic security proof | 2013-10-08 | Paper |
| Computational soundness of symbolic zero-knowledge proofs: weaker assumptions and mechanized verification | 2013-08-06 | Paper |
| Asynchronous computational VSS with reduced communication complexity | 2013-03-18 | Paper |
| Computationally sound abstraction and verification of secure multi-party computations | 2012-08-29 | Paper |
| G2C: cryptographic protocols from goal-driven specifications | 2012-08-22 | Paper |
| Union and Intersection Types for Secure Protocol Implementations | 2012-08-22 | Paper |
| Computational verifiable secret sharing revisited | 2011-12-02 | Paper |
| Unifying simulatability definitions in cryptographic systems under different timing assumptions (extended abstract) | 2010-03-30 | Paper |
| Reactively secure signature schemes | 2010-02-09 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Theory of Cryptography | 2009-05-14 | Paper |
| OAEP Is Secure under Key-Dependent Messages | 2009-02-10 | Paper |
| Limits of Constructive Security Proofs | 2009-02-10 | Paper |
| A Formal Language for Cryptographic Pseudocode | 2009-01-27 | Paper |
| Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks | 2008-10-27 | Paper |
| On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography | 2008-04-24 | Paper |
| The reactive simulatability (RSIM) framework for asynchronous systems | 2007-12-10 | Paper |
| On the Necessity of Rewinding in Secure Multiparty Computation | 2007-08-30 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Compositional analysis of contract-signing protocols | 2007-01-09 | Paper |
| Foundations of Security Analysis and Design III | 2006-11-01 | Paper |
| Information Security | 2006-10-16 | Paper |
| Information Security | 2006-10-16 | Paper |
| Theory of Cryptography | 2005-12-07 | Paper |
| Unifying simulatability definitions in cryptographic systems under different timing assumptions | 2005-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808837 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418691 | 2003-08-11 | Paper |
