• Sign in
  • Sign up
conf.researchr.org / Adel Djoudi
  • FM 2026 profile

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
Share
xSat 27 Jun 22:29
using conf.researchr.org (v1.73.2)
Support page
Sign Up