Dominique Devriese

Dominique Devriese

KU Leuven
Verifierad e-postadress på kuleuven.be
Citerat av 2177
Secure Compilation ISA security primitives Formal verification Capability Machines Dependently-Typed Programming
Thomas Van Strydonck

Thomas Van Strydonck

KU Leuven
Verifierad e-postadress på kuleuven.be
Citerat av 119
Secure Compilation Capability Machines Verification
June ROUSSEAU

June ROUSSEAU

Ph.D Student, Aarhus University
Verifierad e-postadress på cs.au.dk
Citerat av 2
Program verification Separation logic Secure compilation Capability machines