Fortunat Rajaona
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AsiaCCS | Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol. | Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Lo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona |
| 2023 | AAAI | Automatically Verifying Expressive Epistemic Properties of Programs. | Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona |
| 2023 | NDSS | Fine-Grained Trackability in Protocol Executions. | Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider |