L. Henrio et B. P. Serpette : "A Parametrized Polyvariant Bytecode Verifier" Previous Index Next