Items where Author is "Unruh, Dominique"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article | Thesis | Book Section | Other
Number of items: 57.

Conference or Workshop Item (A Paper)

Backes, Michael and Bendun, Fabian and Unruh, Dominique
(2013) Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification.
In: Principles of Security and Trust 2013.

Backes, Michael and Malik, Ankit and Unruh, Dominique
(2012) Computational Soundness without Protocol Restrictions.
In: Proceedings of the 19th ACM Conference on Computer and Communication Security (CCS '12).
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Bendun, Fabian and Unruh, Dominique
(2012) Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.
In: Eight Workshop on Formal and Computational Cryptography (FCC 2012).
(Unpublished)

Unruh, Dominique
(2012) Quantum Proofs of Knowledge.
In: Eurocrypt 2012.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

Schröder, Dominique and Unruh, Dominique
(2012) Security of Blind Signatures Revisited.
In: PKC 2012.

Unruh, Dominique
(2011) Concurrent composition in the bounded quantum storage model.
In: Eurocrypt 2011.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

Schröder, Dominique and Unruh, Dominique and Garg, Sanjam and Rao, Vanishree and Sahai, Amit
(2011) Round Optimal Blind Signatures.
In: Crypto 2011.
Conference: CRYPTO Advances in Cryptology

Unruh, Dominique
(2011) Termination-Insensitive Computational Indistinguishability (and applications to computational soundness).
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2010) Computationally Sound Verification of Source Code.
In: ACM CCS 2010.
Conference: CCS ACM Conference on Computer and Communications Security

Unruh, Dominique and Müller-Quade, Jörn
(2010) Universally Composable Incoercibility.
In: Crypto 2010.

Unruh, Dominique
(2010) Universally Composable Quantum Multi-Party Computation.
In: EUROCRYPT 2010.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

Backes, Michael and Druschel, Peter and Haeberlen, Andreas and Unruh, Dominique
(2009) CSAR: A practical and provable technique to make randomized systems accountable.
In: NDSS 2009.
Conference: NDSS Network and Distributed System Security Symposium

Backes, Michael and Hofheinz, Dennis and Unruh, Dominique
(2009) CoSP: a general framework for computational soundness proofs.
In: Proceedings of the 16th ACM conference on Computer and communications security (CCS).
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) Compromising Reflections or How to Read LCD Monitors Around the Corner.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08.

Backes, Michael and Unruh, Dominique
(2008) Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
In: 21st IEEE Computer Security Foundations Symposium, CSF 2008.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Berg, Matthias and Unruh, Dominique
(2008) A Formal Language for Cryptographic Pseudocode.
In: LPAR 2008.

Backes, Michael and Unruh, Dominique
(2008) Limits of Constructive Security Proofs.
In: ASIACRYPT 2008.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) OAEP is Secure Under Key-dependent Messages.
In: ASIACRYPT 2008.

Hofheinz, Dennis and Unruh, Dominique
(2008) Towards Key-Dependent Message Security in the Standard Model.
In: EUROCRYPT 2008.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2008) Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08.
Conference: SP IEEE Symposium on Security and Privacy

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2007) Information Flow in the Peer-Reviewing Process (extended abstract).
In: Proceedings of 28th IEEE Symposium on Security and Privacy (SSP).

Müller-Quade, Jörn and Unruh, Dominique
(2007) Long-term Security and Universal Composability.
In: Theory of Cryptography, Proceedings of TCC 2007.

Backes, Michael and Müller-Quade, Jörn and Unruh, Dominique
(2007) On the Necessity of Rewinding in Secure Multiparty Computation.
In: Theory of Cryptography, Proceedings of TCC 2007.

Unruh, Dominique
(2007) Random Oracles and Auxiliary Input.
In: Proceedings of Crypto 2007.

Hofheinz, Dennis and Müller-Quade, Jörn and Unruh, Dominique
(2006) On the (Im-)Possibility of Extending Coin Toss.
In: Advances in Cryptology, Proceedings of EUROCRYPT '06.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

Hofheinz, Dennis and Unruh, Dominique
(2006) Simulatable Security and Polynomially Bounded Concurrent Composition.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP '06.

Hofheinz, Dennis and Unruh, Dominique
(2006) An attack on a group-based cryptographic scheme.
In: Algebraic Methods in Cryptography.

Hofheinz, Dennis and Unruh, Dominique
(2005) Comparing Two Notions of Simulatability.
In: Theory of Cryptography, Proceedings of TCC 2005.

Backes, Michael and Hofheinz, Dennis and Müller-Quade, Jörn and Unruh, Dominique
(2005) On Fairness in Simulatability-based Cryptographic Systems.
In: 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code.

Hofheinz, Dennis and Unruh, Dominique
(2005) On the Notion of Statistical Security in Simulatability Definitions.
In: Information Security, Proceedings of ISC'05.

Hofheinz, Dennis and Müller-Quade, Jörn and Unruh, Dominique
(2005) Polynomial Runtime in Simulatability Definitions.
In: 18th IEEE Computer Security Foundations Workshop, Proceedings of CSFW 2005.

Article

Hofheinz, Dennis and Unruh, Dominique and Müller-Quade, Jörn
(2012) Polynomial Runtime and Composability.
Journal of Cryptology.

Backes, Michael and Unruh, Dominique
(2010) Computational Soundness of Symbolic Zero-Knowledge Proofs.
Journal of Computer Security, 18 (6). pp. 1077-1155.

Müller-Quade, Jörn and Unruh, Dominique
(2010) Long-term Security and Universal Composability.
Journal of Cryptology, 23 (4). pp. 594-671.

Hofheinz, Dennis and Müller-Quade, Jörn and Unruh, Dominique
(2009) Polynomial Runtime in Simulatability Definitions.
Journal of Computer Security, 17 (5). pp. 703-735.

Unruh, Dominique
(2007) Quantum Programs with Classical Output Streams.
Electronic Notes in Theoretical Computer Science, 170. pp. 165-184.

Hofheinz, Dennis and Unruh, Dominique and Müller-Quade, Jörn
(2007) Universally Composable Zero-Knowledge Arguments and Commitments from Signature Cards.
Tatra Mt. Math. Pub.. pp. 93-103.

Unruh, Dominique
(2006) Quantum Programming Languages.
Informatik - Forschung und Entwicklung, 21 (1). pp. 55-63.

Thesis

Unruh, Dominique
(2007) Protokollkomposition und Komplexität.
Doctoral thesis, Universität Karlsruhe (TH).

Unruh, Dominique
(2003) Zufallsextraktoren für Quellen variierender Qualität.
Masters thesis, Institut für Algorithmen und Kognitive Systeme, University of Karlsruhe.

Unruh, Dominique
(2002) Formal Security in Quantum Cryptology.
Masters thesis, Institut für Algorithmen und Kognitive Systeme, University of Karlsruhe.

Book Section

Unruh, Dominique
(2007) Protokollkomposition und Komplexität.
In: UNSPECIFIED Lecture Notes in Informatics (LNI) -- Dissertations, D-7 . Gesellschaft für Informatik, pp. 189-198.

Other

Unruh, Dominique
(2012) Everlasting Quantum Security.
UNSPECIFIED
.

Unruh, Dominique
(2012) Programmable encryption and key-dependent messages.
UNSPECIFIED
.

Unruh, Dominique
(2011) Composition in Quantum Cryptography.
UNSPECIFIED
.
(Unpublished)

Schröder, Dominique and Unruh, Dominique
(2011) Round Optimal Blind Signatures.
UNSPECIFIED
.

Unruh, Dominique
(2010) The impossibility of computationally sound XOR.
UNSPECIFIED
.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) Gespiegelt / Verräterische Reflexionen: Wie Brillengläser Geheimnisse verraten.
Heise Verlag, Hannover
.

Backes, Michael and Unruh, Dominique
(2007) On the Security of Protocols with Logarithmic Communication Complexity.
UNSPECIFIED
.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2007) Vorgetäuscht / Böse Textdokumente -- Postscript gone wild.
Heise Verlag, Hannover
.

Müller-Quade, Jörn and Unruh, Dominique
(2006) Composable Deniability (abstract).
UNSPECIFIED
.

Backes, Michael and Müller-Quade, Jörn and Unruh, Dominique
(2006) On the Necessity of Rewinding in Secure Multiparty Computation.
UNSPECIFIED
.

Unruh, Dominique and Müller-Quade, Jörn and Hofheinz, Dennis
(2006) A Simple Model of Polynomial Time UC (abstract).
UNSPECIFIED
.

Müller-Quade, Jörn and Röhrich, Stefan and Unruh, Dominique
(2005) Oblivious Transfer is Incomplete for Deniable Protocols.
UNSPECIFIED
.

Unruh, Dominique
(2005) Relations among Statistical Security Notions - or - Why Exponential Adversaries are Unlimited.
UNSPECIFIED
.

Unruh, Dominique
(2004) Classical Control in Quantum Programs.
UNSPECIFIED
.

Unruh, Dominique
(2004) Simulatable security for quantum protocols.
UNSPECIFIED
.

This list was generated on Thu Apr 25 13:38:55 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.