Search results for "simulatability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Michael Backes 0001, 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
126	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	S&P	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
103	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	A General Composition Theorem for Secure Reactive Systems.	TCC	2004	DBLP DOI BibTeX RDF
95	Michael Backes 0001, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	FSTTCS	2007	DBLP DOI BibTeX RDF
84	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
78	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
78	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional reactive simulatability.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF
78	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	ESORICS	2006	DBLP DOI BibTeX RDF
78	Dennis Hofheinz, Dominique Unruh	Comparing Two Notions of Simulatability.	TCC	2005	DBLP DOI BibTeX RDF
78	Dennis Hofheinz, Dominique Unruh	On the Notion of Statistical Security in Simulatability Definitions.	ISC	2005	DBLP DOI BibTeX RDF
68	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
63	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
51	Ivan Damgård, Jesper Buus Nielsen	Improved Non-committing Encryption Schemes Based on a General Complexity Assumption.	CRYPTO	2000	DBLP DOI BibTeX RDF
40	Michael Backes 0001, 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
40	Christoph Sprenger 0001, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
40	Michael Backes 0001, Peeter Laud	Computationally sound secrecy proofs by mechanized flow analysis.	CCS	2006	DBLP DOI BibTeX RDF	data flow analysis, simulatability
40	Michael Backes 0001, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability
40	Michael Backes 0001, Birgit Pfitzmann	Computational probabilistic noninterference.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Security, Cryptography, Information flow, Non-interference, Simulatability
40	Michael Backes 0001, Christian Jacobi 0002	Cryptographically Sound and Machine-Assisted Verification of Security Protocols.	STACS	2003	DBLP DOI BibTeX RDF	verification, cryptography, semantics, specification, PVS, simulatability
40	Michael Backes 0001, 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
34	Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
34	Michael Backes 0001, Birgit Pfitzmann, Michael Steiner 0001, Michael Waidner	Polynomial Fairness and Liveness.	CSFW	2002	DBLP DOI BibTeX RDF
34	Michael Backes 0001, Birgit Pfitzmann	Computational Probabilistic Non-interference.	ESORICS	2002	DBLP DOI BibTeX RDF
27	Vittorio Zaccaria	The propagation game: on simulatability, correlation matrices, and probing security.	CoRR	2023	DBLP DOI BibTeX RDF
27	Edmund Mills, Shiye Su, Stuart Russell 0001, Scott Emmons	ALMANACS: A Simulatability Benchmark for Language Model Explainability.	CoRR	2023	DBLP DOI BibTeX RDF
27	Jonas Teufel, Luca Torresi, Pascal Friederich	Quantifying the Intrinsic Usefulness of Attributional Explanations for Graph Neural Networks with Artificial Simulatability Studies.	CoRR	2023	DBLP DOI BibTeX RDF
27	Yanda Chen, Ruiqi Zhong, Narutatsu Ri, Chen Zhao, He He 0001, Jacob Steinhardt, Zhou Yu, Kathleen R. McKeown	Do Models Explain Themselves? Counterfactual Simulatability of Natural Language Explanations.	CoRR	2023	DBLP DOI BibTeX RDF
27	Vittorio Zaccaria	The propagation game: on simulatability, correlation matrices, and probing security.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
27	Jonas Teufel, Luca Torresi, Pascal Friederich	Quantifying the Intrinsic Usefulness of Attributional Explanations for Graph Neural Networks with Artificial Simulatability Studies.	xAI (2)	2023	DBLP DOI BibTeX RDF
27	Aaron Chan, Shaoliang Nie, Liang Tan 0005, Xiaochang Peng, Hamed Firooz, Maziar Sanjabi, Xiang Ren 0001	FRAME: Evaluating Simulatability Metrics for Free-Text Rationales.	CoRR	2022	DBLP DOI BibTeX RDF
27	Yehuda Lindell	Simple Three-Round Multiparty Schnorr Signing with Full Simulatability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
27	Peter Hase, Shiyue Zhang, Harry Xie, Mohit Bansal	Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?	CoRR	2020	DBLP BibTeX RDF
27	Peter Hase, Shiyue Zhang, Harry Xie, Mohit Bansal	Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
27	Bing Zeng	Analysis Of The Simulatability Of An Oblivious Transfer.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
27	Takahiro Matsuda 0002, Goichiro Hanaoka	Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
27	Takahiro Matsuda 0002, Goichiro Hanaoka	Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security.	Public Key Cryptography (1)	2016	DBLP DOI BibTeX RDF
27	Wenwen Tu, Lifeng Lai	On the simulatability condition in key generation over a non-authenticated public channel.	ISIT	2015	DBLP DOI BibTeX RDF
27	Wenwen Tu, Lifeng Lai	On the Simulatability Condition in Key Generation Over a Non-authenticated Public Channel.	CoRR	2014	DBLP BibTeX RDF
27	Damian Markham, Elham Kashefi	Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation.	Horizons of the Mind	2014	DBLP DOI BibTeX RDF
27	Charanjit S. Jutla, Arnab Roy 0001	Decision Procedures for Simulatability.	ESORICS	2012	DBLP DOI BibTeX RDF
27	Yamin Liu, Bao Li 0001, Xianhui Lu, Xiaoying Jia 0002	Encryption Simulatability Reconsidered.	ISPEC	2011	DBLP DOI BibTeX RDF
27	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial runtime in simulatability definitions.	J. Comput. Secur.	2009	DBLP DOI BibTeX RDF
27	Tadashi Araragi, Olivier Pereira	Automatic Verification of Simulatability in Security Protocols.	IAS	2008	DBLP DOI BibTeX RDF
27	Hu Xiong, Zhiguang Qin, Fagen Li	Simulatability and Security of Certificateless Threshold Signatures without Random Oracles.	CIS (2)	2008	DBLP DOI BibTeX RDF
27	Licheng Wang, Zhenfu Cao, Xiangxue Li, Haifeng Qian	Simulatability and security of certificateless threshold signatures.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
27	Michael Backes 0001, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	IACR Cryptol. ePrint Arch.	2007	DBLP BibTeX RDF
27	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	The reactive simulatability (RSIM) framework for asynchronous systems.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
27	Eiichiro Fujisaki	Plaintext Simulatability.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2006	DBLP DOI BibTeX RDF
27	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
27	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
27	Michael Backes 0001	Unifying simulatability definitions in cryptographic systems under different timing assumptions.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
27	Michael Backes 0001, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On Fairness in Simulatability-based Cryptographic Systems.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
27	Dennis Hofheinz, Dominique Unruh	On the Notion of Statistical Security in Simulatability Definitions.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
27	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	The Reactive Simulatability (RSIM) Framework for Asynchronous Systems.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
27	Eiichiro Fujisaki	Plaintext-Simulatability.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
27	Ueli M. Maurer, Stefan Wolf 0001	Secret-key agreement over unauthenticated public channels II: the simulatability condition.	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
27	Michael Backes 0001	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
27	Michael Backes 0001	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.	CONCUR	2003	DBLP DOI BibTeX RDF
23	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
23	Peeter Laud	Secrecy types for a simulatable cryptographic library.	CCS	2005	DBLP DOI BibTeX RDF	type systems, simulatability
23	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
23	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	A composable cryptographic library with nested operations.	CCS	2003	DBLP DOI BibTeX RDF	cryptographically composable operators, security analysis of protocols, cryptography, simulatability
23	Birgit Pfitzmann, Michael Waidner	Composition and integrity preservation of secure reactive systems.	CCS	2000	DBLP DOI BibTeX RDF	cryptography, simulatability
17	Ayman Jarrous, Benny Pinkas	Secure Hamming Distance Based Computation and Its Applications.	ACNS	2009	DBLP DOI BibTeX RDF
17	Ilya Mironov, Omkant Pandey, Omer Reingold, Salil P. Vadhan	Computational Differential Privacy.	CRYPTO	2009	DBLP DOI BibTeX RDF
17	Michael Backes 0001, 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
17	Matthew Green 0001, Susan Hohenberger	Blind Identity-Based Encryption and Simulatable Oblivious Transfer.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
17	Jan Camenisch, Gregory Neven, Abhi Shelat	Simulatable Adaptive Oblivious Transfer.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
17	Thomas Santen	A Formal Framework for Confidentiality-Preserving Refinement.	ESORICS	2006	DBLP DOI BibTeX RDF
17	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
17	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
17	Michael Backes 0001	Quantifying Probabilistic Information Flow in Computational Reactive Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	S&P	2005	DBLP DOI BibTeX RDF
17	Saurabh Sanghvi, Salil P. Vadhan	The round complexity of two-party random selection.	STOC	2005	DBLP DOI BibTeX RDF	cryptography, distributed computing, coin-flipping
17	Michael Backes 0001, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Low-Level Ideal Signatures and General Integrity Idealization.	ISC	2004	DBLP DOI BibTeX RDF
17	Muxiang Zhang	Adaptive Protocol for Entity Authentication and Key Agreement in Mobile Networks.	ICISC	2003	DBLP DOI BibTeX RDF
17	Birgit Pfitzmann, Michael Waidner	A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission.	S&P	2001	DBLP DOI BibTeX RDF