المؤلفون: Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe

المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 1 (2023)

مصطلحات موضوعية: Secret erasure, clear stack memory, defense in depth, high-assurance cryptography, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://tches.iacr.org/index.php/TCHES/article/view/11256; https://doaj.org/toc/2569-2925

URL الوصول: https://doaj.org/article/ae99cd18b8b04597aff7b3c66f244279

المؤلفون: José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2023, Iss 3 (2023)

مصطلحات موضوعية: High-assurance cryptography, lattice-based KEMs, NIST PQC, Jasmin, EasyCrypt, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://tches.iacr.org/index.php/TCHES/article/view/10960; https://doaj.org/toc/2569-2925

URL الوصول: https://doaj.org/article/c082783eb324437292b239d88846e0e8

المؤلفون: Céline Héraud, Doris Goufak, Kunie Ando, Karelle Leroy, Valérie Suain, Zehra Yilmaz, Robert De Decker, Michèle Authelet, Vincent Laporte, Jean-Noël Octave, Jean-Pierre Brion

المصدر: Neurobiology of Disease, Vol 62, Iss , Pp 100-112 (2014)

مصطلحات موضوعية: Tau, APP, PS1, Neurofibrillary tangles, Aβ, Alzheimer, Neurosciences. Biological psychiatry. Neuropsychiatry, RC321-571

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S0969996113002568; https://doaj.org/toc/1095-953X

URL الوصول: https://doaj.org/article/e8cf032029804e2f8088e277ca9d4e53

المؤلفون: Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Swarn Priya

المساهمون: Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), Institute IMDEA Software [Madrid], 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), 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)

المصدر: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
CCS 2022-2022 ACM SIGSAC Conference on Computer and Communications Security
CCS 2022-2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA, United States. pp.83-96, ⟨10.1145/3548606.3560689⟩

مصطلحات موضوعية: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Secure Compilation, Cryptographic Constant-Time

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fddd745a467a1081d280c12d19542fa3
https://inria.hal.science/hal-03844366

المؤلفون: David Pichardie, Benjamin Grégoire, Gilles Barthe, Alix Trieu, Vincent Laporte, Rémi Hutin, Sandrine Blazy

المساهمون: Institute IMDEA Software [Madrid], Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), 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), 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), École normale supérieure - Rennes (ENS Rennes), Aarhus University [Aarhus], This work is supported by DFF project 6108-00363 from The Danish Council for Independent Research for the Natural Sciences (FNU), by the Office of Naval Research under projects N00014-12-1-0914, N00014-15-1-2750 and N00014-19-1-2292, and by a European Research Council (ERC) Consolidator Grant for the project 'VESTA', funded under the European Union’s Horizon 2020 Framework Programme (grant agreement no. 772568)., European Project: 772568,VESTA(2018), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩

مصطلحات موضوعية: 0303 health sciences, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer science, Programming language, business.industry, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Optimizing compiler, 020207 software engineering, Cryptography, 02 engineering and technology, Reuse, computer.software_genre, Operational semantics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 03 medical and health sciences, Constant (computer programming), 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Compiler, Safety, Risk, Reliability and Quality, business, computer, Formal verification, Software, 030304 developmental biology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8e105d7ffe4eb8f0e607f83b8ef60d6
https://doi.org/10.1145/3371075

المؤلفون: Swarn Priya, Benjamin Grégoire, Gilles Barthe, Vincent Laporte

المساهمون: Institute IMDEA Software [Madrid], Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), 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), 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)

المصدر: CCS
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.462-476, ⟨10.1145/3460120.3484761⟩
CCS 2021-ACM SIGSAC Conference on Computer and Communications Security
CCS 2021-ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.462-476, ⟨10.1145/3460120.3484761⟩

مصطلحات موضوعية: Semantics (computer science), Computer science, Cryptography, 02 engineering and technology, computer.software_genre, Operational semantics, Security and privacy, law.invention, Formal methods and theory of security, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 03 medical and health sciences, Constant (computer programming), law, 0202 electrical engineering, electronic engineering, information engineering, Transformer, ComputingMilieux_MISCELLANEOUS, 030304 developmental biology, Leakage (electronics), 0303 health sciences, Sequence, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], business.industry, 020207 software engineering, Computer engineering, Logic and verification, Compiler, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9f376a325d94638f89cf228f71f9cb6
https://doi.org/10.1145/3460120.3484761

المؤلفون: Tiago Oliveira, José B. Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte

المساهمون: Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC), University of Minho [Braga], Faculty of Sciences of the University of Porto (FCUP), Max Planck Institute for Security and Privacy (MPI SP), Institute IMDEA Software [Madrid], 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), Laporte, Vincent, Universidade do Minho

المصدر: International Conference on Cryptology in India
International Conference on Cryptology in India, Dec 2020, Bangalore, India
Progress in Cryptology – INDOCRYPT 2020 ISBN: 9783030652760
INDOCRYPT
Indocrypt 2020
Indocrypt 2020, Dec 2020, Bangalore, India

مصطلحات موضوعية: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, supercop, Cryptography, 02 engineering and technology, Certification, computer.software_genre, certified compiler, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Constant (computer programming), 0202 electrical engineering, electronic engineering, information engineering, SIMD, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], Science & Technology, Programming language, business.industry, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, simd, x86, 020201 artificial intelligence & image processing, Compiler, constant-time, Hardware_CONTROLSTRUCTURESANDMICROPROGRAMMING, business, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5e9c13a88e31c7ec8bc720a4f72fd1e
https://hal.univ-lorraine.fr/hal-02983256

المؤلفون: Tiago Oliveira, Adrien Koutsos, José B. Almeida, Pierre-Yves Strub, Vincent Laporte, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire

المساهمون: Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC), Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto, Institute IMDEA Software [Madrid], Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), 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), Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), 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), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Universidade do Porto = University of Porto, Universidade do Minho

المصدر: SP 2020-41st IEEE Symposium on Security and Privacy
SP 2020-41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: FOS: Computer and information sciences, Correctness, Computer Science - Cryptography and Security, Computer science, Cryptography, 02 engineering and technology, computer.software_genre, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0202 electrical engineering, electronic engineering, information engineering, Implementation, Equivalence (measure theory), computer.programming_language, Science & Technology, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Assembly language, Programming language, business.industry, Proof assistant, Formal equivalence checking, 020207 software engineering, Automated theorem proving, 020201 artificial intelligence & image processing, Compiler, business, Low-level programming language, computer, Cryptography and Security (cs.CR), Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6f1cc4c35cb2796677a765c91ed1177
https://hal.univ-lorraine.fr/hal-02974993

المؤلفون: José B. Almeida, Alley Stoughton, Benjamin Grégoire, Pierre-Yves Strub, Gilles Barthe, Manuel Barbosa, François Dupressoir, Cécile Baritel-Ruet, Vincent Laporte, Tiago Oliveira

المساهمون: Instituto de Engenharia de Sistemas e Computadores (INESC), Universidade do Porto, Mathematical, Reasoning and Software (MARELLE), 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), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Institute IMDEA Software [Madrid], Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), University of Surrey (UNIS), University of Bristol [Bristol], 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), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Computer Science Department [Boston] (Boston University), Boston University [Boston] (BU), Département d'informatique de l'École polytechnique (X-DEP-INFO), École polytechnique (X), ANR-18-CE25-0014,scrypt,Compilation sécurisée de primitives cryptographiques(2018), ANR-17-CE39-0004,TECAP,Analyse de protocoles - unir les outils existants(2017), Universidade do Porto = University of Porto, 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), Universidade do Minho

المصدر: CCS 2019-26th ACM Conference on Computer and Communications Security
CCS 2019-26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.1607-1622, ⟨10.1145/3319535.3363211⟩
CCS
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Bacelar Almeida, J, Barbosa, M, Baritel-Ruet, C, Barthe, G, Dupressoir, F, Grégoire, B, Laporte, V, Oliveira, T, Strub, P-Y & Stoughton, A 2019, Machine-Checked Proofs for Cryptographic Standards : Indifferentiability of Sponge and secure high-assurance implementations of SHA-3 . in CCS'19 : Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security . Association for Computing Machinery (ACM), pp. 1607-1622, ACM CCS 2019, London, United Kingdom, 11/11/19 . https://doi.org/10.1145/3319535.3363211

مصطلحات موضوعية: Provable security, Science & Technology, Theoretical computer science, Cryptographic primitive, Computer science, business.industry, Hash function, EasyCrypt, SHA-3, 020207 software engineering, Cryptography, 02 engineering and technology, Random oracle, Timing attack, high-assurance cryptography, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Jasmin, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], business, indifferentiability

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81ad6142ce1106a8c1d25f32a2c29be8
https://hal.archives-ouvertes.fr/hal-02404581/document

المؤلفون: José B. Almeida, Gilles Barthe, Benedikt Schmidt, Pierre-Yves Strub, Benjamin Grégoire, Vincent Laporte, Hugo Pacheco, Tiago Oliveira, Arthur Blot, Manuel Barbosa

المساهمون: Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC), Universidade do Minho = University of Minho [Braga], Universidade do Porto = University of Porto, Institute IMDEA Software [Madrid], École normale supérieure de Lyon (ENS de Lyon), Mathematical, Reasoning and Software (MARELLE), 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), University of Minho [Braga], Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Universidade do Minho, Universidade do Porto, École normale supérieure - Lyon (ENS Lyon), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Gregoire, Benjamin

المصدر: CCS
CCS 2017-Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
CCS 2017-Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.1-17

مصطلحات موضوعية: safety, Computer science, 02 engineering and technology, [INFO] Computer Science [cs], computer.software_genre, cryptographic implementations, verified compiler, Software portability, Software, Compiler construction, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Implementation, Memory safety, Compiler correctness, Cryptographic primitive, business.industry, Programming language, Proof assistant, 020207 software engineering, Functional compiler, Logic and verification, 020201 artificial intelligence & image processing, Compiler, business, computer, Software security engineering, constant- time security

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9b7c572cf658af9f643580f055b996f
https://doi.org/10.1145/3133956.3134078