Gabriel Pedroza

Publications

161

Citations

H-Index

2009

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Université Paris-Saclay

Centre National de la Recherche Scientifique

Institut Mines-Télécom

Gabriel Pedroza is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in systems engineering, formal verification, and information security.

ORCID

Top concepts

EngineeringFormal VerificationSystems EngineeringComputer EngineeringInformation SecurityVerificationData SecurityFormal MethodsComputer ScienceHardware Security

Publications per year

2009–2024

Publications

AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties

Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck · 2011 · 75 citations

Engineering, Information Security, Proverif Toolkits +26

Security Requirements For Automotive On-Board Networks Based On Dark-Side Scenarios (Evita Deliverable 2.3)

Alastair R. Ruddle, David Ward, Benjamin Weyl et al. · Zenodo (CERN European Organization for Nuclear Research) · 2009 · 26 citations · Full text

A Formal Methodology Applied to Secure Over-the-Air Automotive Applications

Gabriel Pedroza, Muhammad Idrees, Ludovic Apvrille et al. · 2011 · 20 citations

Engineering, Information Security, Verification +19

An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering

Juliette Mattioli, Henri Sohier, Agnès Delaborde et al. · AI and Ethics · 2024 · 16 citations

Engineering, Information Security, Trust Management Architecture +16

A Model-based Approach to Realize Privacy and Data Protection by Design

Gabriel Pedroza, Víctor Muntés-Mulero, Yod Samuel Martín et al. · 2021 · 12 citations

Rows per page

1–5 of 6