Bruno Barras

Publications

1.1K

Citations

H-Index

1997

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de Saclay

Bruno Barras is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringCryptographyVerificationSoftware DesignSystem SoftwareComputer Science

Publications per year

1997–2017

Publications

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text

Sets in Coq, Coq in Sets

Bruno Barras · Università degli Studi di Bologna · 2010 · 48 citations · Full text

Constructive Mathematics, Engineering, Automated Reasoning +10

Environments and the complexity of abstract machines

Beniamino Accattoli, Bruno Barras · 2017 · 30 citations · Full text

Engineering, Software Engineering, Computational Complexity +21

Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification

Sabine Azzi, Bruno Barras, Maria Christofi et al. · Journal of Cryptographic Engineering · 2016 · 14 citations

Hardware Security, Fault Injection, Reliability Engineering +13

CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory

Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub et al. · 2011 · 13 citations

Engineering, Conversion Relation, Automated Reasoning +14

Rows per page

1–5 of 5