Computer-Aided Security Proofs for the Working Cryptographer-Reference-Cited by-同舟云学术

Computer-Aided Security Proofs for the Working Cryptographer

Published:2011 Issue: Volume: Page:71-90
ISSN:0302-9743
Container-title:Advances in Cryptology – CRYPTO 2011
language:
Short-container-title:

Author:

Barthe Gilles,Grégoire Benjamin,Heraud Sylvain,Béguelin Santiago Zanella

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22792-9_5.pdf

Reference24 articles.

1. Backes, M., Maffei, M., Unruh, D.: Computationally sound verification of source code. In: 17th ACM Conference on Computer and Communications Security, CCS 2010, pp. 387–398. ACM, New York (2010)

2. Barthe, G., D’Argenio, P., Rezk, T.: Secure information flow by self-composition. In: 17th IEEE Workshop on Computer Security Foundations, CSFW 2004, pp. 100–114. IEEE Computer Society, Washington (2004)

3. Barthe, G., Daubignard, M., Kapron, B., Lakhnech, Y.: Computational indistinguishability logic. In: 17th ACM Conference on Computer and Communications Security, CCS 2010, pp. 375–386. ACM, New York (2010)

4. Lecture Notes in Computer Science;G. Barthe,2009

5. Lecture Notes in Computer Science;G. Barthe,2011

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

1. Cryptographic Protocols for Internet of Things (IoT) Security Lightweight Schemes and Practical Deployment;Advances in Information Security, Privacy, and Ethics;2024-07-12

2. CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

4. A Formalization of Core Why3 in Coq;Proceedings of the ACM on Programming Languages;2024-01-05

5. CryptoZoo: A Viewer for Reduction Proofs;Lecture Notes in Computer Science;2024