Login / Signup
Ilias Cherkaoui
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Software Engineering
Temporal Logic
Formal Verification
Model Checker
Top Venues
EUSPN/ICTH
</>
Publications
</>
Kaouthar Chetioui
,
Ghizlane Orhanou
,
Hicham Bensaid
,
Ilias Cherkaoui
,
Youness Chibi
Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif.
EUSPN/ICTH
(2019)