Ueli Maurer

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 102

Top Venues

IACR Cryptol. ePrint Arch.

ISIT

SCN

TCC (1)

Publications

Fabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer, Guilherme Rito
Anamorphic Encryption, Revisited. EUROCRYPT (2) (2024)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. J. Cryptol. 37 (2) (2024)
Suvradip Chakraborty, Dennis Hofheinz, Ueli Maurer, Guilherme Rito
Deniable Authentication When Signing Keys Leak. EUROCRYPT (3) (2023)
Suvradip Chakraborty, Dennis Hofheinz, Ueli Maurer, Guilherme Rito
Deniable Authentication when Signing Keys Leak. IACR Cryptol. ePrint Arch. 2023 (2023)
Fabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer
Anamorphic Encryption, Revisited. IACR Cryptol. ePrint Arch. 2023 (2023)
Fabio Banfi, Ueli Maurer, Silvia Ritsch
On the Security of Universal Re-Encryption. IACR Cryptol. ePrint Arch. 2023 (2023)
Fabio Banfi, Ueli Maurer
Anonymous Authenticated Communication. SCN (2022)
Ueli Maurer, Christopher Portmann, Guilherme Rito
Multi-Designated Receiver Signed Public Key Encryption. EUROCRYPT (2) (2022)
Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen
Practical Provably Secure Flooding for Blockchains. ASIACRYPT (1) (2022)
Ueli Maurer, Christopher Portmann, Guilherme Rito
Multi-Designated Receiver Signed Public Key Encryption. IACR Cryptol. ePrint Arch. 2022 (2022)
Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen
Practical Provably Secure Flooding for Blockchains. IACR Cryptol. ePrint Arch. 2022 (2022)
Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito
Revisiting (R)CCA Security and Replay Protection. Public Key Cryptography (2) (2021)
Andrés Fabrega, Ueli Maurer, Marta Mularczyk
A Fresh Approach to Updatable Symmetric Encryption. IACR Cryptol. ePrint Arch. 2021 (2021)
Martin Hirt, Chen-Da Liu-Zhang, Ueli Maurer
Adaptive Security of Multi-Party Protocols, Revisited. IACR Cryptol. ePrint Arch. 2021 (2021)
David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. CSF (2021)
Onur Günlü, Ueli Maurer, João L. Ribeiro
Effects of Quantization on the Multiple-Round Secret-Key Capacity. IACR Cryptol. ePrint Arch. 2021 (2021)
Ueli Maurer, Christopher Portmann, Guilherme Rito
Giving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework). IACR Cryptol. ePrint Arch. 2021 (2021)
David Lanzenberger, Ueli Maurer
Direct Product Hardness Amplification. IACR Cryptol. ePrint Arch. 2021 (2021)
David Lanzenberger, Ueli Maurer
Direct Product Hardness Amplification. TCC (2) (2021)
Onur Günlü, Ueli Maurer, João L. Ribeiro
Effects of Quantization on the Multiple-Round Secret-Key Capacity. CoRR (2021)
Christian Badertscher, Daniel Jost, Ueli Maurer
Generalized Proofs of Knowledge with Fully Dynamic Setup. TCC (1) (2021)
Martin Hirt, Chen-Da Liu-Zhang, Ueli Maurer
Adaptive Security of Multi-party Protocols, Revisited. TCC (1) (2021)
Ueli Maurer, Christopher Portmann, Guilherme Rito
Giving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework). ASIACRYPT (3) (2021)
Fabio Banfi, Ueli Maurer
Composable Notions for Anonymous and Authenticated Communication. IACR Cryptol. ePrint Arch. 2021 (2021)
Daniel Jost, Ueli Maurer
Overcoming Impossibility Results in Composable Security using Interval-Wise Guarantees. IACR Cryptol. ePrint Arch. 2020 (2020)
Sandro Coretti, Yevgeniy Dodis, Ueli Maurer, Björn Tackmann, Daniele Venturi
Non-malleable Encryption: Simpler, Shorter, Stronger. J. Cryptol. 33 (4) (2020)
Chen-Da Liu-Zhang, Varun Maram, Ueli Maurer
On Broadcast in Generalized Network and Adversarial Models. OPODIS (2020)
Chen-Da Liu-Zhang, Ueli Maurer
Synchronous Constructive Cryptography. TCC (2) (2020)
David Lanzenberger, Ueli Maurer
Coupling of Random Systems. TCC (3) (2020)
Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito
Revisiting (R)CCA Security and Replay Protection. IACR Cryptol. ePrint Arch. 2020 (2020)
Daniel Jost, Ueli Maurer
Overcoming Impossibility Results in Composable Security Using Interval-Wise Guarantees. CRYPTO (1) (2020)
Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
Topology-Hiding Computation for Networks with Unknown Delays. Public Key Cryptography (2) (2020)
Fabio Banfi, Ueli Maurer
Anonymous Symmetric-Key Communication. SCN (2020)
Fabio Banfi, Ueli Maurer
Anonymous Symmetric-Key Communication. IACR Cryptol. ePrint Arch. 2020 (2020)
David Lanzenberger, Ueli Maurer
Coupling of Random Systems. IACR Cryptol. ePrint Arch. 2020 (2020)
Chen-Da Liu-Zhang, Ueli Maurer
Synchronous Constructive Cryptography. IACR Cryptol. ePrint Arch. 2020 (2020)
Ueli Maurer, Christopher Portmann, Jiamin Zhu
Unifying Generic Group Models. IACR Cryptol. ePrint Arch. 2020 (2020)
Chen-Da Liu-Zhang, Julian Loss, Ueli Maurer, Tal Moran, Daniel Tschudi
MPC with Synchronous Security and Asynchronous Responsiveness. ASIACRYPT (3) (2020)
Chen-Da Liu-Zhang, Varun Maram, Ueli Maurer
On Broadcast in Generalized Network and Adversarial Models. IACR Cryptol. ePrint Arch. 2020 (2020)
Fabio Banfi, Ueli Maurer, Christopher Portmann, Jiamin Zhu
Composable and Finite Computational Security of Quantum Message Transmission. CoRR (2019)
Fabio Banfi, Ueli Maurer, Christopher Portmann, Jiamin Zhu
Composable and Finite Computational Security of Quantum Message Transmission. TCC (1) (2019)
Chen-Da Liu Zhang, Julian Loss, Ueli Maurer, Tal Moran, Daniel Tschudi
Robust MPC: Asynchronous Responsiveness yet Synchronous Security. IACR Cryptol. ePrint Arch. 2019 (2019)
Daniel Jost, Ueli Maurer, Marta Mularczyk
Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging. EUROCRYPT (1) (2019)
Daniel Jost, Ueli Maurer, Marta Mularczyk
A Unified and Composable Take on Ratcheting. TCC (2) (2019)
Grégory Demay, Peter Gazi, Ueli Maurer, Björn Tackmann
Per-session security: Password-based cryptography revisited. J. Comput. Secur. 27 (1) (2019)
Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
Topology-Hiding Computation for Networks with Unknown Delays. IACR Cryptol. ePrint Arch. 2019 (2019)
Daniel Jost, Ueli Maurer, Marta Mularczyk
A Unified and Composable Take on Ratcheting. IACR Cryptol. ePrint Arch. 2019 (2019)
Chen-Da Liu Zhang, Varun Maram, Ueli Maurer
Brief Announcement: Towards Byzantine Broadcast in Generalized Communication and Adversarial Models. DISC (2019)
Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
Formalizing Constructive Cryptography using CryptHOL. CSF (2019)
Christian Badertscher, Daniel Jost, Ueli Maurer
Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. IACR Cryptol. ePrint Arch. 2019 (2019)
Fabio Banfi, Ueli Maurer, Christopher Portmann, Jiamin Zhu
Composable and Finite Computational Security of Quantum Message Transmission. IACR Cryptol. ePrint Arch. 2019 (2019)
Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
Topology-Hiding Computation Beyond Semi-Honest Adversaries. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Fabio Banfi, Ueli Maurer
A Constructive Perspective on Signcryption Security. SCN (2018)
Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. EUROCRYPT (2) (2018)
Christian Badertscher, Ueli Maurer, Björn Tackmann
On Composable Security for Digital Signatures. Public Key Cryptography (1) (2018)
Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
But Why does it Work? A Rational Protocol Design Treatment of Bitcoin. IACR Cryptol. ePrint Arch. 2018 (2018)
Julian Loss, Ueli Maurer, Daniel Tschudi
Strong Separations Between Broadcast and Authenticated Channels. DISC (2018)
Daniel Jost, Ueli Maurer
Security Definitions for Hash Functions: Combining UCE and Indifferentiability. SCN (2018)
Daniel Jost, Ueli Maurer, João L. Ribeiro
Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio. TCC (1) (2018)
Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
Topology-Hiding Computation Beyond Semi-Honest Adversaries. TCC (2) (2018)
Christian Badertscher, Ueli Maurer, Björn Tackmann
On Composable Security for Digital Signatures. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Matt, Ueli Maurer, Christopher Portmann, Renato Renner, Björn Tackmann
Toward an algebraic theory of systems. Theor. Comput. Sci. 747 (2018)
Daniel Jost, Ueli Maurer, Marta Mularczyk
Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Fabio Banfi, Ueli Maurer
A Constructive Perspective on Signcryption Security. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Ueli Maurer
Composable and Robust Outsourced Storage. CT-RSA (2018)
Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi
Witness-hiding proofs of knowledge for cable locks. ISIT (2017)
Daniel Jost, Ueli Maurer, João L. Ribeiro
Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio. IACR Cryptol. ePrint Arch. 2017 (2017)
Daniel Jost, Ueli Maurer
Context-Restricted Indifferentiability: Generalizing UCE and Implications on the Soundness of Hash-Function Constructions. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Christian Matt, Ueli Maurer
Strengthening Access Control Encryption. IACR Cryptol. ePrint Arch. 2017 (2017)
Ueli Maurer
An information-theoretic approach to hardness amplification. ISIT (2017)
Christian Badertscher, Ueli Maurer
Composable and Robust Outsourced Storage. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. CRYPTO (1) (2017)
Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, Ueli Maurer
Efficiency lower bounds for commit-and-prove constructions. ISIT (2017)
Grégory Demay, Peter Gazi, Ueli Maurer, Björn Tackmann
Per-Session Security: Password-Based Cryptography Revisited. ESORICS (1) (2017)
Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner, Björn Tackmann
Causal Boxes: Quantum Information-Processing Systems Closed Under Composition. IEEE Trans. Inf. Theory 63 (5) (2017)
Christian Badertscher, Christian Matt, Ueli Maurer
Strengthening Access Control Encryption. ASIACRYPT (1) (2017)
Jan Camenisch, Robert R. Enderlein, Ueli Maurer
Memory Erasability Amplification. IACR Cryptol. ePrint Arch. 2016 (2016)
Gregor Seiler, Ueli Maurer
On the impossibility of information-theoretic composable coin toss extension. ISIT (2016)
Ueli Maurer, João L. Ribeiro
New perspectives on weak Oblivious Transfer. ISIT (2016)
Ueli Maurer, Renato Renner
From Indifferentiability to Constructive Cryptography (and Back). TCC (B1) (2016)
Jan Camenisch, Robert R. Enderlein, Ueli Maurer
Memory Erasability Amplification. SCN (2016)
Divesh Aggarwal, Ueli Maurer
Breaking RSA Generically Is Equivalent to Factoring. IEEE Trans. Inf. Theory 62 (11) (2016)
Grégory Demay, Peter Gazi, Ueli Maurer, Björn Tackmann
Per-Session Security: Password-Based Cryptography Revisited. IACR Cryptol. ePrint Arch. 2016 (2016)
Martin Hirt, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Network-Hiding Communication and Applications to Multi-Party Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Martin Hirt, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Network-Hiding Communication and Applications to Multi-party Protocols. CRYPTO (2) (2016)
Christian Matt, Ueli Maurer, Christopher Portmann, Renato Renner, Björn Tackmann
Toward an Algebraic Theory of Systems. CoRR (2016)
Julian Loss, Ueli Maurer, Daniel Tschudi
Hierarchy of three-party consistency specifications. ISIT (2016)
Ueli Maurer, Renato Renner
From Indifferentiability to Constructive Cryptography (and Back). IACR Cryptol. ePrint Arch. 2016 (2016)
Dennis Hofheinz, Christian Matt, Ueli Maurer
Idealizing Identity-Based Encryption. ASIACRYPT (1) (2015)
Sandro Coretti, Ueli Maurer, Björn Tackmann, Daniele Venturi
From Single-Bit to Multi-bit Public-Key Encryption via Non-malleable Codes. TCC (1) (2015)
Christian Matt, Ueli Maurer
A Definitional Framework for Functional Encryption. CSF (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Robust Authenticated Encryption and the Limits of Symmetric Cryptography. IACR Cryptol. ePrint Arch. 2015 (2015)
Grégory Demay, Peter Gazi, Ueli Maurer, Björn Tackmann
Query-Complexity Amplification for Random Oracles. ICITS (2015)
Grégory Demay, Peter Gazi, Ueli Maurer, Björn Tackmann
Query-Complexity Amplification for Random Oracles. IACR Cryptol. ePrint Arch. 2015 (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Robust Authenticated Encryption and the Limits of Symmetric Cryptography. IMACC (2015)
Christopher Portmann, Christian Matt, Ueli Maurer, Renato Renner, Björn Tackmann
Causal Boxes: Quantum Information-Processing Systems Closed under Composition. CoRR (2015)
Ueli Maurer
Zero-knowledge proofs of knowledge for group homomorphisms. Des. Codes Cryptogr. 77 (2-3) (2015)
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
(De-)Constructing TLS 1.3. INDOCRYPT (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. ProvSec (2015)

Ueli Maurer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ueli Maurer