Adel Djoudi - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

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

Formal Verification for Security Certification: From a First Success to Sustainable Industrial Usage

Show activities from other conferences

FM 2026-profile
View general profile