Jean Pichon-Pharabod - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Mon 24 Apr 2023

Name:Jean Pichon-Pharabod

Country:Denmark

Affiliation:Aarhus University

Personal website: https://jeanpichon.github.io/

Contributions

2024

SPLASH

Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly

Show activities from other conferences

SPLASH 2024-profile
View general profile