-
1Academic Journal
المؤلفون: Legrand, Matthieu, Falcone, Jérémy, Cholley, Bernard, Charbonneau, Hélène, Delaporte, Amélie, Lemoine, Adrien, Garot, Matthias, Joosten, Alexandre, Meistelman, Claude, Cheron-Leroy, Delphine, Rives, Jean-Philippe, Pastene, Bruno, Dewitte, Antoine, Sigaut, Stéphanie, Danguy des Deserts, Marc, Truc, Cyrille, Boisson, Matthieu, Lasocki, Sigismond, Cuvillon, Philippe, Schiff, Ugo, Jaber, Samir, Le Guen, Morgan, Caillard, Anaïs, Bar, Stéphane, Pereira de Souza Neto, Edmundo, Colas, Vincent, Dimache, Florin, Girardot, Thibaut, Jozefowicz, Elsa, Viquesnel, Simon, Berthier, Francis, Vicaut, Eric, Gayat, Etienne, MONZIOLS, Simon, DEFAYE, Mylene, CAMUS, Thibault, ROBIN, Jean-Jacques, OUATTARA, Alexandre, FETITA, Ioana, JOANNES-BOYAU, Olivier, BONNARDEL, Eline, BOUQUEREL, Rémi, STRZELECKI, Antoine, FAYON, Thibaut, PELLETIER, Christophe, LE GAILLARD, Benjamin, GIRARDOT, Thibaut, AMOUSSOU, Géraud, EL BOUYOUSFI, Maalik, GANASCIA, Bruno, BUTRULLE, Calliope, GERGAUD, Soizic, HABRIAL, Pierre, PESSIOT, Solène, SAMSON, Emmanuel, WOLFF, Caroline, STANKOVA, Nevena, AOUATI, Farida, KAVAFYAN, Juliette, SUPARSCHI, Vlad, LONGROIS, Dan, LE ROY, Julie, ROSSIGNOL, Benoit, HUET, Olivier, BOISSON, Christophe, BONNIN, Pierre Olivier, DHAOUADI, Mohamed, GARDES, Ghislaine, PERIN, Mikael, BRUNET, Sophie, GRICOURT, Yann, FISCHER, Marc-Olivier, DEBROCZI, Stéphane, RETOURNAY, Lucie, STRUB, Pierre, VIVIN, Patrice, DUPAYS, Rachel, KERFORNE, Thomas, VIANET, Gabriel, MANZANO, Virginie, NOLL, Eric, LUDES, Pierre-Olivier, CHAMARAUX-TRAN, Thien-Nga, CIRENEI, Cédric, HAMROUN, Djihad, LEBAS, Benoit, ANDRIEU, Grégoire ANDRIEU, ETIENNE, Vincent, CINOTTI, Raphaël, SIMON, Natacha, FRASCA, Denis, BELOEIL, Hélène, LE GALL, Amandine, TECHEV, Petyo, MEURET, Ludovic, JOFFRE, Jérémie, DUPONT, Hervé, CHARBIT, Beny, DAVY, Arthur, LOBO, David
المصدر: JAMA. 332(12)
مصطلحات موضوعية: Biomedical and Clinical Sciences, Clinical Sciences, Clinical Research, Patient Safety, Cardiovascular, Clinical Trials and Supportive Activities, 6.1 Pharmaceuticals, 6.4 Surgery, Oral and gastrointestinal, Good Health and Well Being, Stop-or-Not Trial Group, Medical and Health Sciences, General & Internal Medicine, Biomedical and clinical sciences, Health sciences
وصف الملف: application/pdf
-
2Report
المؤلفون: Allamigeon, Xavier, Canu, Quentin, Strub, Pierre-Yves
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Optimization and Control
URL الوصول: http://arxiv.org/abs/2301.04060
-
3Report
المؤلفون: Donato, Pablo, Strub, Pierre-Yves, Werner, Benjamin
المصدر: CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.197-209
مصطلحات موضوعية: Computer Science - Human-Computer Interaction, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2210.11820
-
4Report
-
5Report
المؤلفون: Allamigeon, Xavier, Katz, Ricardo D., Strub, Pierre-Yves
المصدر: Logical Methods in Computer Science, Volume 18, Issue 2 (May 18, 2022) lmcs:7436
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Optimization and Control
URL الوصول: http://arxiv.org/abs/2104.15021
-
6Conference
المؤلفون: Almeida, José, Bacelar, Olmos, Santiago, Arranz, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François, Grégoire, Benjamin, Laporte, Vincent, Léchenet, Jean-Christophe, Low, Cameron, Oliveira, Tiago, Pacheco, Hugo, Quaresma, Miguel, Schwabe, Peter, Strub, Pierre-Yves
المساهمون: Departamento de Informática Minho (Universidade do Minho Departamento de Informática), Universidade do Minho = University of Minho Braga, Institute for Systems and Computer Engineering, Technology and Science Porto (INESC TEC), Max Planck Institute for Security and Privacy Bochum (MPI SP), Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, Institute IMDEA Software Madrid, University of Bristol Bristol, Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), SandboxAQ, Radboud University Nijmegen, PQShield, Excellence Strategy of the German Federal and State Governments – EXC 2092 CASA - 390781972, German Federal Ministry of Education and Research (BMBF) in the course of the 6GEM research hub under grant number 16KISK038, Amazon Web Services, as an Amazon Research Award supporting the Formosa Crypto consortium, EPSRC Doctoral Training Partnership (EP/T517872/1), InnovateUK ATI programme (10065634), European Structural and Investment Funds in the FEDER component, and through the Operational Competitiveness and Internationalization Programme (COMPETE 2020) (Project No. 047264, Funding Reference: POCI-01-0247-FEDER-047264), International Association for Cryptologic Research, ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022), European Project: 805031,EPOQUE
المصدر: Advances in Cryptology – CRYPTO 2024 ; Crypto 2024 ; https://hal.science/hal-04595591 ; Crypto 2024, International Association for Cryptologic Research, Aug 2024, Santa Barbara (CA), United States. ⟨10.1007/978-3-031-68379-4_12⟩
جغرافية الموضوع: Santa Barbara (CA), United States
Relation: info:eu-repo/grantAgreement//805031/EU/ERC Starting Grant 805031 (EPOQUE)/EPOQUE
-
7Conference
المؤلفون: Blanchet, Bruno, Boutry, Pierre, Doczkal, Christian, Grégoire, Benjamin, Strub, Pierre-Yves
المساهمون: Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Max Planck Institute for Security and Privacy Bochum (MPI SP), Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), PQShield, IEEE, ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)
المصدر: CSF 2024 - 37th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-04321656 ; CSF 2024 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.283-298, ⟨10.1109/CSF61375.2024.00019⟩
مصطلحات موضوعية: Security protocols, Computational model, Mechanized proofs, Combining tools, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
جغرافية الموضوع: Enschede, Netherlands
-
8Report
المؤلفون: Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Grégoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-Yves
مصطلحات موضوعية: Computer Science - Cryptography and Security
URL الوصول: http://arxiv.org/abs/1904.04606
-
9Report
المصدر: Computer Security Foundations (CSF) 2018
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security
URL الوصول: http://arxiv.org/abs/1806.07197
-
10Report
المؤلفون: Barthe, Gilles, Espitau, Thomas, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1803.05535
-
11Report
المؤلفون: Almeida, José, Bacelar, Olmos, Santiago, Arranz, Barbosa, Manuel, Barthe, Gilles, Dupressoir, François, Grégoire, Benjamin, Laporte, Vincent, Léchenet, Jean-Christophe, Low, Cameron, Oliveira, Tiago, Pacheco, Hugo, Quaresma, Miguel, Schwabe, Peter, Strub, Pierre-Yves
المساهمون: Departamento de Informática Minho (Universidade do Minho Departamento de Informática), Universidade do Minho = University of Minho Braga, Institute for Systems and Computer Engineering, Technology and Science Porto (INESC TEC), Max Planck Institute for Security and Privacy Bochum (MPI Security and Privacy), Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, Institute IMDEA Software Madrid, University of Bristol Bristol, Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), SandboxAQ, Radboud University Nijmegen, PQShield, Excellence Strategy of the German Federal and State Governments – EXC 2092 CASA - 390781972, German Federal Ministry of Education and Research (BMBF) in the course of the 6GEM research hub under grant number 16KISK038, Amazon Web Services, as an Amazon Research Award supporting the Formosa Crypto consortium, EPSRC Doctoral Training Partnership (EP/T517872/1), InnovateUK ATI programme (10065634), European Structural and Investment Funds in the FEDER component, and through the Operational Competitiveness and Internationalization Programme (COMPETE 2020) (Project No. 047264, Funding Reference: POCI-01-0247-FEDER-047264), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022), European Project: 805031,EPOQUE
المصدر: https://hal.science/hal-04595591 ; 2024.
Relation: info:eu-repo/grantAgreement//805031/EU/ERC Starting Grant 805031 (EPOQUE)/EPOQUE; hal-04595591; https://hal.science/hal-04595591; https://hal.science/hal-04595591/document; https://hal.science/hal-04595591/file/2024-843.pdf
-
12Conference
المؤلفون: Bacelar Almeida, José, Barbosa, Manuel, Barthe, Gilles, Grégoire, Benjamin, Laporte, Vincent, Léchenet, Jean-Christophe, Oliveira, Tiago, Pacheco, Hugo, Quaresma, Miguel, Schwabe, Peter, Séré, Antoine, Strub, Pierre-Yves
المساهمون: Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, Universidade do Minho = University of Minho Braga, Institute for Systems and Computer Engineering, Technology and Science Porto (INESC TEC), Max Planck Institute for Security and Privacy Bochum (MPI SP), Institute IMDEA Software Madrid, Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Radboud University Nijmegen, École polytechnique (X), Institut Polytechnique de Paris (IP Paris), Meta AI Research Paris, Meta AI, POCI-01-0247-FEDER-047264, EXC 2092 CASA - 390781972, German Federal Ministry of Education andResearch (BMBF) in the course of the 6GEM research hub under grant number 16KISK038, IACR, ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022), European Project: 805031,EPOQUE
المصدر: ACR Transactions on Cryptographic Hardware and Embedded Systems ; CHES 2023 - Conference on Cryptographic Hardware and Embedded Systems ; https://inria.hal.science/hal-04218417 ; CHES 2023 - Conference on Cryptographic Hardware and Embedded Systems, IACR, Sep 2023, Praha, Czech Republic. pp.164-193, ⟨10.46586/tches.v2023.i3.164-193⟩ ; https://ches.iacr.org/2023
مصطلحات موضوعية: High-assurance cryptography, lattice-based KEMs, NIST PQC, Jasmin, EasyCrypt, [INFO]Computer Science [cs]
جغرافية الموضوع: Praha, Czech Republic
Relation: info:eu-repo/grantAgreement//805031/EU/ERC Starting Grant 805031 (EPOQUE)/EPOQUE
-
13Conference
المؤلفون: Barbosa, Manuel, Dupressoir, François, Grégoire, Benjamin, Hülsing, Andreas, Meijers, Matthias, Strub, Pierre-Yves
المساهمون: Universidade do Porto = University of Porto, University of Bristol Bristol, Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Eindhoven University of Technology Eindhoven (TU/e), Meta
المصدر: ACM digital library ; CRYPTO 2023 : 43rd Annual International Cryptology Conference ; https://hal.science/hal-04315335 ; CRYPTO 2023 : 43rd Annual International Cryptology Conference, Aug 2023, Santa Barbara, CA, United States. pp.421-454, ⟨10.1007/978-3-031-38554-4_14⟩ ; https://dl.acm.org/doi/abs/10.1007/978-3-031-38554-4_14#sec-comments
مصطلحات موضوعية: XMSS, SPHINCS +, EasyCrypt, Formal Verification, Machine-Checked Proofs, Computer-Aided Cryptography, [INFO]Computer Science [cs]
جغرافية الموضوع: Santa Barbara, CA, United States
-
14Report
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1708.02537
-
15Report
المؤلفون: Barthe, Gilles, Espitau, Thomas, Hsu, Justin, Sato, Tetsuya, Strub, Pierre-Yves
المصدر: Logical Methods in Computer Science, Volume 15, Issue 4 (December 19, 2019) lmcs:4380
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1705.00133
-
16Report
المصدر: J. Funct. Prog. 29 (2019) e16
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1703.05042
-
17Report
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1701.06477
-
18Academic Journal
المساهمون: Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto = University of Porto, CRACS & Inesc TEC Porto, Institute IMDEA Software Madrid, Max Planck Institute for Security and Privacy Bochum (MPI SP), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming securely with cryptography (PROSECCO), Inria de Paris, Meta, ANR-17-CE39-0004,TECAP,Analyse de protocoles - unir les outils existants(2017), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)
المصدر: ISSN: 2471-2566.
مصطلحات موضوعية: Verification of Cryptographic Primitives, Formal Methods, Interactive Proof System, Complexity Analysis, [INFO]Computer Science [cs]
-
19Report
-
20Report
المؤلفون: Barthe, Gilles, Fong, Noémie, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms, Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1606.07143