Ons Chikhaoui

According to our database1, Ons Chikhaoui authored at least 8 papers between 2017 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

Formal Validation of a Security Mechanism against the RSU Compromise Attack.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2019
A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs.
Proceedings of the Information Systems, 2019

A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETs.
Proceedings of the Information Systems, 2019

2018
Towards the Optimization of a Ticket-based Authentication Scheme for VANETs.
Proceedings of the Seventh International Conference on Communications and Networking, 2018

Towards the Formal Validation of a Ticket-Based Authentication Scheme for VANETs.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Towards a Privacy Preserving and Flexible Scheme for Assessing the Credibility and the Accuracy of Safety Messages Exchanged in VANETs.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017
A Ticket-Based Authentication Scheme for VANETs Preserving Privacy.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2017


  Loading...