Constructive Cryptography – A New Paradigm for Security Definitions and Proofs-Reference-Cited by-同舟云学术

Constructive Cryptography – A New Paradigm for Security Definitions and Proofs

Published:2012 Issue: Volume: Page:33-56
ISSN:0302-9743
Container-title:Theory of Security and Applications
language:
Short-container-title:

Author:

Maurer Ueli

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-27375-9_3

Reference27 articles.

1. Backes, M., Hofheinz, D., Unruh, D.: CoSP: A general framework for computational soundness proofs. In: ACM Conference on Computer and Communications Security, pp. 66–78 (2009)

2. Lecture Notes in Computer Science;M. Backes,2004

3. Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authentication and key exchange protocols. In: Proc. 30th Annual Symposium on the Theory of Computing (STOC), pp. 419–428. ACM, New York (1998)

4. Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. In: FOCS, pp. 136–145 (2001)

5. Canetti, R.: Universally composable signature, certification, and authentication. In: 17th IEEE Computer Security Foundations Workshop (CSF 2004), p. 219 (2004)

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

1. BCVSE: Verifiable Searchable Encryption Scheme With Blockchain Supporting Fuzzy Query;Arabian Journal for Science and Engineering;2023-11-27

2. Combined Private Circuits - Combined Security Refurbished;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

3. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20

4. A State-Separating Proof for Yao's Garbling Scheme;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

5. AUC: Accountable Universal Composability;2023 IEEE Symposium on Security and Privacy (SP);2023-05