Maxime Robert Sébastien Legoupil - Publikation - Aarhus Universitet

E-mailmaximecs.audk

Åbogade 34, 5341, 226
8200 Aarhus N
Danmark
Åbogade 34
8200 Aarhus N
Danmark

Publikationer pr. år

2 Tidsskriftartikel

2 resultater

2024
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L., okt. 2024, I: Proceedings of the ACM on Programming Languages . 8, OOPSLA2, 282.
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Åben adgang
1 Citationer (Scopus)
2023
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P. & Birkedal, L., jun. 2023, I: Proceedings of the ACM on Programming Languages . 7, 151.
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
8 Citationer (Scopus)