Research interests

My current areas of research include

• Security Protocols (formal analysis of privacy in security protocols)
• Multi-agent Epistemic Logics (modelling agents knowledge, knowledge dynamics, strategy, ...)
• Formal Methods in Computer Science (model checking, formal program refinement, ...)

Publications

• S. F. Rajaona, I. Boureanu, V. Malvone, and F. Belardinell. Program semantics and verification technique for AI-centred programs. The 25th International Symposium on Formal Methods, FM 2023 (received the best paper award).
• F. Belardinelli, I. Boureanu, V. Malvone, and S. F. Rajaona. Automatically verifying expressive epistemic properties of programs. The 37th AAAI Conference on Intelligent Systems, AAAI 2023 (In Press).
• K. Budykho, I. Boureanu, S. Wesemeyer, F. Rajaona, D. Romero, M. Lewis, Y. Rahulan, and S. Schneider. Fine-Grained Trackability in Protocol Executions. The Network and Distributed System Security Symposium 2023, NDSS 2023 (In Press).

My doctoral thesis

Title: An algebraic framework for reasoning about privacy. Doctoral dissertation, University of Stellenbosch, 2016. Find it here.

Advisor: Prof. Jeff Sanders