Vincent Cheval, Steve Kremer, Itsaka Rakotonirina.
journal article TheoretiCS, 2024
Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind
conference paper In the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024
Vincent Cheval, Itsaka Rakotonirina.
conference paper In the IEEE Computer Security Foundations Symposium (CSF) 2023. Distinguished paper award
Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina
conference paper In the ACM Conference on Computer and Communications Security (CCS), 2022
Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe
conference paper In the ACM Symposium on Information, Computer and Communications Security (ASIA CCS), 2022
Véronique Cortier, Itsaka Rakotonirina.
conference paper In Protocols, Logic, and Strands: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 Birthday (GuttmanFest), 2021
Itsaka Rakotonirina.
PhD thesis Université de Lorraine (France), 2021
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou.
conference paper In the IEEE Symposium on Security and Privacy (S&P), 2021
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina.
conference paper In Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (ScedrovFest65), 2020
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina.
conference paper In the ACM Conference on Computer and Communications Security (CCS), 2019
Itsaka Rakotonirina, Boris Köpf.
conference paper In the IEEE European Symposium on Security and Privacy (EuroS&P), 2019
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina.
conference paper In the International Conference on Computer Aided Verification (CAV), 2018
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina.
conference paper In the IEEE Symposium on Security and Privacy (S&P) 2018. Distinguished paper award