Login / Signup
David Féliot
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 2
Top Topics
Test Suite
Static Analysis
Evolutionary Algorithm
Countermeasures
Top Venues
CoRR
J. Cryptogr. Eng.
</>
Publications
</>
Guilhem Lacombe
,
David Féliot
,
Etienne Boespflug
,
Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
J. Cryptogr. Eng.
14 (1) (2024)
Guilhem Lacombe
,
David Féliot
,
Etienne Boespflug
,
Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
CoRR
(2023)
Vivien Quéma
,
Roland Balter
,
Luc Bellissard
,
David Féliot
,
André Freyssinet
,
Serge Lacourte
Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications.
Component Deployment
(2004)
Santosh K. Shrivastava
,
Luc Bellissard
,
David Féliot
,
Marc Herrmann
,
Noel De Palma
,
Stuart M. Wheater
A Workflow and Agent Based Platform for Service Provisioning.
EDOC
(2000)