Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Pierre-Yves Strub

Voir le profil Scopus

Pierre-Yves Strub

20072025

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Pierre-Yves Strub est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 55 Contribution à une conférence
  • 21 Article

  • A Tight Security Proof for SPHINCS+, Formally Verified

    Barbosa, M., Dupressoir, F., Hülsing, A., Meijers, M. & Strub, P. Y., 1 janv. 2025, Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Chung, K.-M. & Sasaki, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 35-67 33 p. (Lecture Notes in Computer Science; Vol 15487 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt

    Almeida, J. B., Delerue Marinho Alves, G. X., Barbosa, M., Barthe, G., Esquível, L., Hwang, V., Oliveira, T., Pacheco, H., Schwabe, P. & Strub, P. Y., 1 janv. 2025, Proceedings - 46th IEEE Symposium on Security and Privacy, SP 2025. Blanton, M., Enck, W. & Nita-Rotaru, C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3820-3838 19 p. (Proceedings - IEEE Symposium on Security and Privacy).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Formally Verified Correctness Bounds for Lattice-Based Cryptography

    Barbosa, M., Kannwischer, M. J., Lim, T. H., Schwabe, P. & Strub, P. Y., 22 nov. 2025, CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 156-169 14 p. (CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

    Almeida, J. B., Barbosa, M., Barthe, G., Blatter, L., Delerue, G., Duarte, J. D., Gregoire, B., Oliveira, T., Quaresma, M., Strub, P. Y., Tsai, M. H., Wang, B. Y. & Yang, B. Y., 22 nov. 2025, CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 1409-1423 15 p. (CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • CV2EC: Getting the Best of Both Worlds

    Blanchet, B., Boutry, P., Doczkal, C., Gregoire, B. & Strub, P. Y., 1 janv. 2024, Proceedings - 2024 IEEE 37th Computer Security Foundations Symposium, CSF 2024. IEEE Computer Society, p. 279-294 16 p. (Proceedings - IEEE Computer Security Foundations Symposium).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Formally Verifying Kyber: Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

    Almeida, J. B., Arranz Olmos, S., Barbosa, M., Barthe, G., Dupressoir, F., Grégoire, B., Laporte, V., Léchenet, J. C., Low, C., Oliveira, T., Pacheco, H., Quaresma, M., Schwabe, P. & Strub, P. Y., 1 janv. 2024, Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. Reyzin, L. & Stebila, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 384-421 38 p. (Lecture Notes in Computer Science; Vol 14921 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • High-Performance NTT Hardware Accelerator to Support ML-KEM and ML-DSA

    Kundi, D. E. S., Bermudo Mera, J. M., Strub, P. Y. & Hutter, M., 19 nov. 2024, ASHES 2024 - Proceedings of the 2024 Workshop on Attacks and Solutions in Hardware Security, Co-Located with: CCS 2024. Association for Computing Machinery, Inc, p. 100-105 6 p. (ASHES 2024 - Proceedings of the 2024 Workshop on Attacks and Solutions in Hardware Security, Co-Located with: CCS 2024).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • A Formal Disproof of Hirsch Conjecture

    Allamigeon, X., Canu, Q. & Strub, P. Y., 11 janv. 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 17-29 13 p. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • CoqQ: Foundational Verification of Quantum Programs

    Zhou, L., Barthe, G., Strub, P. Y., Liu, J. & Ying, M., 9 janv. 2023, Dans: Proceedings of the ACM on Programming Languages. 7, p. 833-865 33 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Formally verifying Kyber Episode IV: Implementation correctness

    Almeida, J. B., Barbosa, M., Barthe, G., Grégoire, B., Laporte, V., Léchenet, J. C., Oliveira, T., Pacheco, H., Quaresma, M., Schwabe, P., Séré, A. & Strub, P. Y., 9 juin 2023, Dans: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2023, 3, p. 164-193 30 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
Tout afficher 76 résultat de recherche