Search results for "simulatability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptology	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
3	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
3	Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On fairness in simulatability-based cryptographic systems.	FMSE	2005	DBLP DOI BibTeX RDF	scheduling, fairness, cryptographic protocols, simulatability
2	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional reactive simulatability.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF
2	Christoph Sprenger, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
2	Michael Backes, Birgit Pfitzmann	Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness
2	Michael Backes, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	ESORICS	2006	DBLP DOI BibTeX RDF
2	Michael Backes, Peeter Laud	Computationally sound secrecy proofs by mechanized flow analysis.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	data flow analysis, simulatability
2	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
2	Dennis Hofheinz, Dominique Unruh	Comparing Two Notions of Simulatability.	TCC	2005	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability
2	Michael Backes, Birgit Pfitzmann	Computational probabilistic noninterference.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Security, Cryptography, Information flow, Non-interference, Simulatability
2	Michael Backes, Christian Jacobi 0002	Cryptographically Sound and Machine-Assisted Verification of Security Protocols.	STACS	2003	DBLP DOI BibTeX RDF	verification, cryptography, semantics, specification, PVS, simulatability
2	Michael Backes, Christian Jacobi 0002, Birgit Pfitzmann	Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.	FME	2002	DBLP DOI BibTeX RDF	security, cryptography, formal verification, PVS, simulatability
1	Yamin Liu, Bao Li, Xianhui Lu, Xiaoying Jia	Encryption Simulatability Reconsidered.	ISPEC	2011	DBLP DOI BibTeX RDF
1	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial runtime in simulatability definitions.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Ayman Jarrous, Benny Pinkas	Secure Hamming Distance Based Computation and Its Applications.	ACNS	2009	DBLP DOI BibTeX RDF
1	Ilya Mironov, Omkant Pandey, Omer Reingold, Salil P. Vadhan	Computational Differential Privacy.	CRYPTO	2009	DBLP DOI BibTeX RDF
1	Tadashi Araragi, Olivier Pereira	Automatic Verification of Simulatability in Security Protocols.	IAS	2008	DBLP DOI BibTeX RDF
1	Hu Xiong, Zhiguang Qin, Fagen Li	Simulatability and Security of Certificateless Threshold Signatures without Random Oracles.	CIS	2008	DBLP DOI BibTeX RDF
1	Isamu Teranishi, Wakaha Ogata	Cramer-Shoup Satisfies a Stronger Plaintext Awareness under a Weaker Assumption.	SCN	2008	DBLP DOI BibTeX RDF	Statistical Plaintext Awareness, Cramer-Shoup Scheme, Standard Model
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	The reactive simulatability (RSIM) framework for asynchronous systems.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
1	Licheng Wang, Zhenfu Cao, Xiangxue Li, Haifeng Qian	Simulatability and security of certificateless threshold signatures.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
1	Michael Backes, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	CSF	2007	DBLP DOI BibTeX RDF
1	Matthew Green, Susan Hohenberger	Blind Identity-Based Encryption and Simulatable Oblivious Transfer.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
1	Jan Camenisch, Gregory Neven, Abhi Shelat	Simulatable Adaptive Oblivious Transfer.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
1	Eiichiro Fujisaki	Plaintext Simulatability.	IEICE Transactions	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	IACR Cryptology ePrint Archive	2006	DBLP BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.	IACR Cryptology ePrint Archive	2006	DBLP BibTeX RDF
1	Gergely Ács, Levente Buttyán, István Vajda	Modelling adversaries and security objectives for routing protocols in wireless sensor networks.	SASN	2006	DBLP DOI BibTeX RDF	sensor networks, routing protocols, provable security, simulatability, adversary model
1	Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Thomas Santen	A Formal Framework for Confidentiality-Preserving Refinement.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
1	Michael Backes	Unifying simulatability definitions in cryptographic systems under different timing assumptions.	J. Log. Algebr. Program.	2005	DBLP DOI BibTeX RDF
1	Dennis Hofheinz, Dominique Unruh	On the Notion of Statistical Security in Simulatability Definitions.	IACR Cryptology ePrint Archive	2005	DBLP BibTeX RDF
1	Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On Fairness in Simulatability-based Cryptographic Systems.	IACR Cryptology ePrint Archive	2005	DBLP BibTeX RDF
1	Peeter Laud	Secrecy types for a simulatable cryptographic library.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	type systems, simulatability
1	Prateek Gupta, Vitaly Shmatikov	Towards computationally sound symbolic analysis of key exchange protocols.	FMSE	2005	DBLP DOI BibTeX RDF	protocol logic, cryptographic protocols, symbolic analysis, computational soundness
1	Saurabh Sanghvi, Salil P. Vadhan	The round complexity of two-party random selection.	STOC	2005	DBLP DOI BibTeX RDF	cryptography, distributed computing, coin-flipping
1	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Michael Backes	Quantifying Probabilistic Information Flow in Computational Reactive Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Dennis Hofheinz, Dominique Unruh	On the Notion of Statistical Security in Simulatability Definitions.	ISC	2005	DBLP DOI BibTeX RDF
1	Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan	On the Relationships Between Notions of Simulation-Based Security.	TCC	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	The Reactive Simulatability (RSIM) Framework for Asynchronous Systems.	IACR Cryptology ePrint Archive	2004	DBLP BibTeX RDF
1	Eiichiro Fujisaki	Plaintext-Simulatability.	IACR Cryptology ePrint Archive	2004	DBLP BibTeX RDF
1	Levente Buttyán, István Vajda	Towards provable security for ad hoc routing protocols.	SASN	2004	DBLP DOI BibTeX RDF	on-demand source routing, ad hoc networks, routing protocols, provable security, simulatability
1	Michael Backes, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Low-Level Ideal Signatures and General Integrity Idealization.	ISC	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	A General Composition Theorem for Secure Reactive Systems.	TCC	2004	DBLP DOI BibTeX RDF
1	Michael Backes	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.	IACR Cryptology ePrint Archive	2003	DBLP BibTeX RDF
1	Ueli M. Maurer, Stefan Wolf	Secret-key agreement over unauthenticated public channels II: the simulatability condition.	IEEE Transactions on Information Theory	2003	DBLP DOI BibTeX RDF
1	Michael Backes	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.	CONCUR	2003	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	A composable cryptographic library with nested operations.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	cryptographically composable operators, security analysis of protocols, cryptography, simulatability
1	Muxiang Zhang	Adaptive Protocol for Entity Authentication and Key Agreement in Mobile Networks.	ICISC	2003	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner	Polynomial Fairness and Liveness.	CSFW	2002	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Computational Probabilistic Non-interference.	ESORICS	2002	DBLP DOI BibTeX RDF
1	Birgit Pfitzmann, Michael Waidner	A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. (PDF / PS)	IEEE Symposium on Security and Privacy	2001	DBLP DOI BibTeX RDF
1	Birgit Pfitzmann, Michael Waidner	Composition and integrity preservation of secure reactive systems.	ACM Conference on Computer and Communications Security	2000	DBLP DOI BibTeX RDF	cryptography, simulatability
1	Ivan Damgård, Jesper Buus Nielsen	Improved Non-committing Encryption Schemes Based on a General Complexity Assumption.	CRYPTO	2000	DBLP DOI BibTeX RDF