A Ticket-Based Authentication Scheme for VANETs Preserving Privacy. - Ons Chikhaoui; Aida Ben Chehida; Ryma Abassi; Sihem Guemara El Fatmi (ADHOC-NOW, 2017)

Towards a Privacy Preserving and Flexible Scheme for Assessing the Credibility and the Accuracy of Safety Messages Exchanged in VANETs. - Ons Chikhaoui; Aida Ben Chehida Douss; Ryma Abassi; Sihem Guemara El Fatmi (ARES, 2018)

Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs. - Ons Chikhaoui; Aida Ben Chehida Douss; Ryma Abassi; Sihem Guemara El Fatmi (AINA Workshops, 2018)

Towards the Optimization of a Ticket-based Authentication Scheme for VANETs. - Ons Chikhaoui; Aida Ben Chehida Douss; Ryma Abassi; Sihem Guemara El Fatmi (COMNET, 2018)

A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETs. - Ons Chikhaoui; Ryma Abassi; Aida Ben Chehida Douss; Sihem Guemara El Fatmi (EMCIS, 2019)

A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs. - Ons Chikhaoui; Aida Ben Chehida Douss; Ryma Abassi; Sihem Guemara El Fatmi (EMCIS, 2019)

Formal Validation of a Security Mechanism against the RSU Compromise Attack. - Ons Chikhaoui; Ryma Abassi; Aida Ben Chehida Douss; Sihem Guemara El Fatmi (ARES, 2021)

Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs. - Ons Chikhaoui; Aida Ben Chehida Douss; Ryma Abassi; Sihem Guemara El Fatmi (ARES, 2021)