Conditional reactive simulatability
- 26 October 2007
- journal article
- Published by Springer Nature in International Journal of Information Security
- Vol. 7 (2) , 155-169
- https://doi.org/10.1007/s10207-007-0046-6
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Limits of the Cryptographic Realization of Dolev-Yao-Style XORPublished by Springer Nature ,2005
- On the Relationships Between Notions of Simulation-Based SecurityPublished by Springer Nature ,2005
- Fast Encryption and Authentication: XCBC Encryption and XECB Authentication ModesPublished by Springer Nature ,2002
- Secure ComputationPublished by Springer Nature ,2001
- Foundations of Secure Interactive ComputingPublished by Springer Nature ,2001
- Encryption Modes with Almost Free Message IntegrityPublished by Springer Nature ,2001
- Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition ParadigmPublished by Springer Nature ,2000
- Encode-Then-Encipher Encryption: How to Exploit Nonces or Redundancy in Plaintexts for Efficient CryptographyPublished by Springer Nature ,2000
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- The Knowledge Complexity of Interactive Proof SystemsSIAM Journal on Computing, 1989