Adel Djoudi -

Registered user since Mon 23 Feb 2026

Name:Adel Djoudi

Country:France

Affiliation:Thales Cybersecurity and Digital Identity

Research interests:Formal Methods, Security

Contributions

2026

FM

Author of Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage within the Industry Day-track

2024

TACAS - External

Author of Automate where Automation Fails: Proof Strategies for Frama-C/WP

TAP - External

Author of No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP

2021

FM - External

Author of Formal Verification of a JavaCard Virtual Machine with Frama-C

2020

ITSC - External

Author of A simulation-based framework for functional testing of automated driving controllers

2016

FM - External

Author of Recovering High-Level Conditions from Binary Programs

2015

TACAS - External

Author of BINSEC: Binary Code Analysis with Low-Level Regions

2013

NFM - External

Author of Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods