Skip to content

Ueli Maurer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

65

Venues

15

Active years

2004–2024

Best venue rank

A*

Where they publish

Papers

65 indexed papers, newest first.

YearVenueTitleAuthors
2024EuroCryptAnamorphic Encryption, Revisited.Fabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer, Guilherme Rito
2023EuroCryptDeniable Authentication When Signing Keys Leak.Suvradip Chakraborty, Dennis Hofheinz, Ueli Maurer, Guilherme Rito
2022ASIACRYPTPractical Provably Secure Flooding for Blockchains.Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Sren Eller Thomsen
2022EuroCryptMulti-Designated Receiver Signed Public Key Encryption.Ueli Maurer, Christopher Portmann, Guilherme Rito
2022SCNAnonymous Authenticated Communication.Fabio Banfi, Ueli Maurer
2021ASIACRYPTGiving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework).Ueli Maurer, Christopher Portmann, Guilherme Rito
2021PKCRevisiting (R)CCA Security and Replay Protection.Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito
2021TCCGeneralized Proofs of Knowledge with Fully Dynamic Setup.Christian Badertscher, Daniel Jost, Ueli Maurer
2021TCCAdaptive Security of Multi-party Protocols, Revisited.Martin Hirt, Chen-Da Liu-Zhang, Ueli Maurer
2021TCCDirect Product Hardness Amplification.David Lanzenberger, Ueli Maurer
2020ASIACRYPTMPC with Synchronous Security and Asynchronous Responsiveness.Chen-Da Liu-Zhang, Julian Loss, Ueli Maurer, Tal Moran, Daniel Tschudi
2020CRYPTOOvercoming Impossibility Results in Composable Security Using Interval-Wise Guarantees.Daniel Jost, Ueli Maurer
2020OPODISOn Broadcast in Generalized Network and Adversarial Models.Chen-Da Liu-Zhang, Varun Maram, Ueli Maurer
2020PKCTopology-Hiding Computation for Networks with Unknown Delays.Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
2020SCNAnonymous Symmetric-Key Communication.Fabio Banfi, Ueli Maurer
2020TCCCoupling of Random Systems.David Lanzenberger, Ueli Maurer
2020TCCSynchronous Constructive Cryptography.Chen-Da Liu-Zhang, Ueli Maurer
2019EuroCryptEfficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging.Daniel Jost, Ueli Maurer, Marta Mularczyk
2019TCCComposable and Finite Computational Security of Quantum Message Transmission.Fabio Banfi, Ueli Maurer, Christopher Portmann, Jiamin Zhu
2019TCCA Unified and Composable Take on Ratcheting.Daniel Jost, Ueli Maurer, Marta Mularczyk
2018EuroCryptBut Why Does It Work? A Rational Protocol Design Treatment of Bitcoin.Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
2018PKCOn Composable Security for Digital Signatures.Christian Badertscher, Ueli Maurer, Bjrn Tackmann
2018SCNA Constructive Perspective on Signcryption Security.Christian Badertscher, Fabio Banfi, Ueli Maurer
2018SCNSecurity Definitions for Hash Functions: Combining UCE and Indifferentiability.Daniel Jost, Ueli Maurer
2018TCCInformation-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio.Daniel Jost, Ueli Maurer, Joo L. Ribeiro
2018TCCTopology-Hiding Computation Beyond Semi-Honest Adversaries.Rio LaVigne, Chen-Da Liu Zhang, Ueli Maurer, Tal Moran, Marta Mularczyk, Daniel Tschudi
2017ASIACRYPTStrengthening Access Control Encryption.Christian Badertscher, Christian Matt, Ueli Maurer
2017CRYPTOBitcoin as a Transaction Ledger: A Composable Treatment.Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
2017ESORICSPer-Session Security: Password-Based Cryptography Revisited.Grgory Demay, Peter Gazi, Ueli Maurer, Bjrn Tackmann
2017ISITEfficiency lower bounds for commit-and-prove constructions.Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, Ueli Maurer
2017ISITAn information-theoretic approach to hardness amplification.Ueli Maurer
2017ISITWitness-hiding proofs of knowledge for cable locks.Chen-Da Liu Zhang, Ueli Maurer, Martin Raszyk, Daniel Tschudi
2016CRYPTONetwork-Hiding Communication and Applications to Multi-party Protocols.Martin Hirt, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
2016ISITHierarchy of three-party consistency specifications.Julian Loss, Ueli Maurer, Daniel Tschudi
2016ISITNew perspectives on weak Oblivious Transfer.Ueli Maurer, Joo Ribeiro
2016ISITOn the impossibility of information-theoretic composable coin toss extension.Gregor Seiler, Ueli Maurer
2016SCNMemory Erasability Amplification.Jan Camenisch, Robert R. Enderlein, Ueli Maurer
2016TCCFrom Indifferentiability to Constructive Cryptography (and Back).Ueli Maurer, Renato Renner
2015ASIACRYPTIdealizing Identity-Based Encryption.Dennis Hofheinz, Christian Matt, Ueli Maurer
2015INDOCRYPT(De-)Constructing TLS 1.3.Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Bjrn Tackmann, Daniele Venturi
2015ProvSecAugmented Secure Channels and the Goal of the TLS 1.3 Record Layer.Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Bjrn Tackmann
2015TCCFrom Single-Bit to Multi-bit Public-Key Encryption via Non-malleable Codes.Sandro Coretti, Ueli Maurer, Bjrn Tackmann, Daniele Venturi
2014ISITOptimality of non-adaptive strategies: The case of parallel games.Grgory Demay, Peter Gazi, Ueli Maurer, Bjrn Tackmann
2014SCNKey-Indistinguishable Message Authentication Codes.Jol Alwen, Martin Hirt, Ueli Maurer, Arpita Patra, Pavel Raykov
2014TCCBroadcast Amplification.Martin Hirt, Ueli Maurer, Pavel Raykov
2013ASIACRYPTConstructing Confidential Channels from Authenticated Channels - Public-Key Encryption Revisited.Sandro Coretti, Ueli Maurer, Bjrn Tackmann
2013CRYPTOA Dynamic Tradeoff between Active and Passive Corruptions in Secure Multi-Party Computation.Martin Hirt, Christoph Lucas, Ueli Maurer
2013CRYPTOErratum: A Dynamic Tradeoff between Active and Passive Corruptions in Secure Multi-Party Computation.Martin Hirt, Christoph Lucas, Ueli Maurer
2013EuroCryptResource-Restricted Indifferentiability.Grgory Demay, Peter Gazi, Martin Hirt, Ueli Maurer
2013FOCSRational Protocol Design: Cryptography against Incentive-Driven Adversaries.Juan A. Garay, Jonathan Katz, Ueli Maurer, Bjrn Tackmann, Vassilis Zikas
2013ISITUnfair coin tossing.Grgory Demay, Ueli Maurer
2013ISITThe one-time pad revisited.Christian Matt, Ueli Maurer
2013ISITAuthentication amplification by synchronization.Ueli Maurer
2013ISITConditional equivalence of random systems and indistinguishability proofs.Ueli Maurer
2013TCCUniversally Composable Synchronous Computation.Jonathan Katz, Ueli Maurer, Bjrn Tackmann, Vassilis Zikas
2012CRYPTOCollusion-Preserving Computation.Jol Alwen, Jonathan Katz, Ueli Maurer, Vassilis Zikas
2012ISITSynchrony amplification.Ueli Maurer, Bjrn Tackmann
2012ITWCommon randomness amplification: A constructive view.Grgory Demay, Ueli Maurer
2012TCCConfidentiality and Integrity: A Constructive Perspective.Ueli Maurer, Andreas Redlinger, Bjrn Tackmann
2011ASIACRYPTThe Leakage-Resilience Limit of a Computational Problem Is Equal to Its Unpredictability Entropy.Divesh Aggarwal, Ueli Maurer
2011CCSPrivacy-preserving outsourcing of brute-force key searches.Ghassan Karame, Srdjan Capkun, Ueli Maurer
2010CCSOn the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption.Ueli Maurer, Bjrn Tackmann
2010FCConstructive Cryptography - A Primer.Ueli Maurer
2004ISITExtracting randomness from generalized symbol-fixing and Markov sources.Robert Knig, Ueli Maurer
2004ISITPrivacy amplification secure against an adversary with selectable knowledge.Robert Knig, Ueli Maurer, Renato Renner