Denis Merigoux
发表
Karthikeyan Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Jonathan Protzenko,
Denis Merigoux,
Raphaël Monat,
2020,
CC.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..
Jonathan Protzenko,
Denis Merigoux,
Nicolas Chataing,
2021,
Proc. ACM Program. Lang..