Author

David Féliot

Observed names: D. Feliot, David Feliot, Feliot, David

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, CEA Grenoble, Laboratoire d'Électronique des Technologies de l'Information

Observed institutions: Institut national de recherche en sciences et technologies du numérique, Commissariat à l'Énergie Atomique et aux Énergies Alternatives, CEA Grenoble, Laboratoire d'Électronique des Technologies de l'Information

OpenAlex ID: A5069853137

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

2023 · Guilhem Lacombe, David Feliot, et al. · Journal of Cryptographic Engineering · 24

A workflow and agent based platform for service provisioning

2002 · S.K. Shrivastava, L. Bellissard, et al. · IEEE International Enterprise Distributed Object Computing Conference (EDOC) · 21

Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications

2004 · Vivien Quéma, Roland Balter, et al. · Lecture notes in computer science · 18

A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine

2022 · Djoudi, Adel, Hana, Martin, et al. · HAL · 4

Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities

2022 · Guilhem Lacombe, David Féliot, et al. · EPiC series in computing · 3

Administration and Deployment Tools in a Message-oriented Middleware

2008 · Vivien Quéma, Roland Balter, Luc Bellissard, et al. · 1

Works count: 6

Citation count: 71

H-index: 4

I10-index: 3