Ideal Key Derivation and Encryption in Simulation-Based Security-Reference-Cited by-同舟云学术

Ideal Key Derivation and Encryption in Simulation-Based Security

Published:2011 Issue: Volume: Page:161-179
ISSN:0302-9743
Container-title:Topics in Cryptology – CT-RSA 2011
language:
Short-container-title:

Author:

Küsters Ralf,Tuengerthal Max

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-19074-2_12

Reference33 articles.

1. Lecture Notes in Computer Science;M. Backes,2007

2. Backes, M., Pfitzmann, B.: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. In: CSFW-17 2004, pp. 204–218. IEEE Computer Society, Los Alamitos (2004)

3. Lecture Notes in Computer Science;M. Bellare,2000

4. Bellare, M., Rogaway, P.: Provably Secure Session Key Distribution: The Three Party Case. In: STOC 1995, pp. 57–66. ACM, New York (1995)

5. Bhargavan, K., Fournet, C., Corin, R., Zalinescu, E.: Cryptographically Verified Implementations for TLS. In: CCS 2008, pp. 459–468. ACM, New York (2008)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Embedding the UC Model into the IITM Model;Advances in Cryptology – EUROCRYPT 2022;2022

2. The IITM Model: A Simple and Expressive Model for Universal Composability;Journal of Cryptology;2020-06-15

3. UC-Secure Non-interactive Public-Key Encryption;2017 IEEE 30th Computer Security Foundations Symposium (CSF);2017-08

4. A Framework for Universally Composable Diffie-Hellman Key Exchange;2017 IEEE Symposium on Security and Privacy (SP);2017-05

5. Universally Composable Key-Management;Lecture Notes in Computer Science;2013