Fortunat Rajaona

According to our database, Fortunat Rajaona authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

An SMT-Based Approach to the Verification of Knowledge-Based Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Formal Aspects Comput., 2025

A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure.

Ioana Boureanu, Stephan Wesemeyer, Fortunat Rajaona, Steve Schneider, Helen Treharne

Proceedings of the 10th IEEE European Symposium on Security and Privacy, 2025

Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol.

Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 2025

2024

Epistemic Model Checking for Privacy.

Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Fine-Grained Trackability in Protocol Executions.

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Program Semantics and Verification Technique for AI-Centred Programs.

Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Proceedings of the Formal Methods - 25th International Symposium, 2023

Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona

CoRR, 2022