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 143 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

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

3. Layered Symbolic Security Analysis in $$\textsf {DY}^\star $$;Computer Security – ESORICS 2023;2024

4. Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude;IET Information Security;2023-10-30

5. A Deductive Verification Infrastructure for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-10-16