Denis Merigoux
发表
Karthikeyan Bhargavan,
Jonathan Protzenko,
Benjamin Beurdouche,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020,
Proc. ACM Program. Lang..
Jonathan Protzenko,
Denis Merigoux,
Raphael Monat,
2020,
ArXiv.
Denis Merigoux,
Liane Huttner,
2020
.
Nikhil Swamy,
Aseem Rastogi,
Aymeric Fromherz,
2020
.
Jonathan Protzenko,
Denis Merigoux,
Nicolas Chataing,
2021,
Proc. ACM Program. Lang..
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Artifact Digital Object Group.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..