Itsaka Rakotonirina
发表
G. Barthe,
Miguel Ambrona,
Itsaka Rakotonirina,
2022,
AsiaCCS.
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2020
.
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2020,
Logic, Language, and Security.
Yi Zhou,
Cédric Fournet,
Bryan Parno,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
Boris Köpf,
Itsaka Rakotonirina,
Boris Köpf,
2019,
2019 IEEE European Symposium on Security and Privacy (EuroS&P).