Formal Validation of a Security Mechanism against the RSU Compromise Attack - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ons Chikhaoui, Ryma Abassi, Aida Ben Chehida Douss, Sihem Guemara El Fatmi. Formal Validation of a Security Mechanism against the RSU Compromise Attack. In Delphine Reinhardt, Tilo Müller, editors, ARES 2021: The 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17-20, 2021. ACM, 2021. [doi]

This author has not been identified. Look up 'Ons Chikhaoui' in GoogleThis author has not been identified. Look up 'Ryma Abassi' in GoogleThis author has not been identified. Look up 'Aida Ben Chehida Douss' in GoogleThis author has not been identified. Look up 'Sihem Guemara El Fatmi' in Google

runs on WebDSL