The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for simulatability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2004 (19) 2005 (15) 2006-2007 (18) 2008-2014 (15) 2015-2023 (14)
Publication types (Num. hits)
article(30) inproceedings(51)
Venues (Conferences, Journals, ...)
IACR Cryptol. ePrint Arch.(12) CoRR(7) ESORICS(7) CCS(4) CSFW(4) Int. J. Inf. Sec.(3) S&P(3) TCC(3) CRYPTO(2) CSF(2) FMSE(2) ISC(2) SASN(2) ACNS(1) ARSPA-WITS(1) ASIACRYPT(1) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 59 occurrences of 34 keywords

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