June Belinda Cerise Rousseau - Publikation - Aarhus Universitet

E-mailjune.rousseaucs.audk

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

Publikationer pr. år

1 Tidsskriftartikel

1 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)