Login / Signup
Ons Chikhaoui
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 8
Top Topics
Authentication Scheme
Messages Exchanged
Preserving Privacy
Security Flaws
Top Venues
ARES
EMCIS
COMNET
AINA Workshops
</>
Publications
</>
Ons Chikhaoui
,
Aida Ben Chehida Douss
,
Ryma Abassi
,
Sihem Guemara El Fatmi
Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs.
ARES
(2021)
Ons Chikhaoui
,
Ryma Abassi
,
Aida Ben Chehida Douss
,
Sihem Guemara El Fatmi
Formal Validation of a Security Mechanism against the RSU Compromise Attack.
ARES
(2021)
Ons Chikhaoui
,
Aida Ben Chehida Douss
,
Ryma Abassi
,
Sihem Guemara El Fatmi
A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs.
EMCIS
(2019)
Ons Chikhaoui
,
Ryma Abassi
,
Aida Ben Chehida Douss
,
Sihem Guemara El Fatmi
A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETs.
EMCIS
(2019)
Ons Chikhaoui
,
Aida Ben Chehida Douss
,
Ryma Abassi
,
Sihem Guemara El Fatmi
Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs.
AINA Workshops
(2018)
Ons Chikhaoui
,
Aida Ben Chehida Douss
,
Ryma Abassi
,
Sihem Guemara El Fatmi
Towards a Privacy Preserving and Flexible Scheme for Assessing the Credibility and the Accuracy of Safety Messages Exchanged in VANETs.
ARES
(2018)
Ons Chikhaoui
,
Aida Ben Chehida Douss
,
Ryma Abassi
,
Sihem Guemara El Fatmi
Towards the Optimization of a Ticket-based Authentication Scheme for VANETs.
COMNET
(2018)
Ons Chikhaoui
,
Aida Ben Chehida
,
Ryma Abassi
,
Sihem Guemara El Fatmi
A Ticket-Based Authentication Scheme for VANETs Preserving Privacy.
ADHOC-NOW
(2017)