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 |
|